From 17f4d8c59508eddcef17838ebfb6db57c9c8a434 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 6 May 2024 12:13:40 +0200
Subject: [PATCH] [kernel] Fixes typo in warning about integer compatibility.
---
src/kernel_services/ast_queries/cil.ml | 2 +-
tests/cil/oracle/cpu_a.res.oracle | 2 +-
tests/cil/oracle/cpu_b.res.oracle | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 449f772b287..fd438e7de13 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -6150,7 +6150,7 @@ let combineTypesGen ?emitwith (combF : combineFunction)
warning
~wkey:Kernel.wkey_int_conversion
~current:true
- "Integer compatibily is machine-dependent : %a and %a\n"
+ "Integer compatibility is machine-dependent: %a and %a\n"
Cil_datatype.Typ.pretty oldt Cil_datatype.Typ.pretty t;
result k oldk
end
diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index b1e7b6ca0a1..02859882344 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -1,7 +1,7 @@
[kernel] Parsing cpu_a.c (with preprocessing)
[kernel] Parsing cpu_b.c (with preprocessing)
[kernel:typing:int-conversion] cpu_b.c:7: Warning:
- Integer compatibily is machine-dependent : unsigned short and unsigned int
+ Integer compatibility is machine-dependent: unsigned short and unsigned int
[kernel:typing:merge-conversion] Warning:
Conflicting definitions are between files cpu_a.c and cpu_b.c
/* Generated by Frama-C */
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index fba20f75126..80bec54ee47 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -1,7 +1,7 @@
[kernel] Parsing cpu_b.c (with preprocessing)
[kernel] Parsing cpu_a.c (with preprocessing)
[kernel:typing:int-conversion] cpu_a.c:6: Warning:
- Integer compatibily is machine-dependent : unsigned int and unsigned short
+ Integer compatibility is machine-dependent: unsigned int and unsigned short
[kernel:typing:merge-conversion] Warning:
Conflicting definitions are between files cpu_b.c and cpu_a.c
/* Generated by Frama-C */
--
GitLab