diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index 6623ed53971969354ea97602ac3e635ed9f2e213..5869d63e5ddb04e306bae911dd0d10cc8be64ec3 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -1,5 +1,7 @@
 [kernel] Parsing cpu_a.c (with preprocessing)
 [kernel] Parsing cpu_b.c (with preprocessing)
+[kernel] cpu_b.c:7: Warning: 
+  Integer compatibily is machine-dependant : unsigned short and unsigned int
 /* Generated by Frama-C */
 typedef unsigned short DWORD;
 DWORD f(void)
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index 1567947463f1244480390e2cb5947ab91adeda15..30fde145f120a3f67a87d1d12eca32c41069a889 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -1,5 +1,7 @@
 [kernel] Parsing cpu_b.c (with preprocessing)
 [kernel] Parsing cpu_a.c (with preprocessing)
+[kernel] cpu_a.c:6: Warning: 
+  Integer compatibily is machine-dependant : unsigned int and unsigned short
 /* Generated by Frama-C */
 typedef unsigned int DWORD;
 DWORD f(void);
diff --git a/tests/misc/oracle/bts0990_link.res.oracle b/tests/misc/oracle/bts0990_link.res.oracle
index 625dcbb43e31d4caf8a33cac763064d95ed6aec4..2b6b54c6daa7dfd4d45df7138029fa826c464c0f 100644
--- a/tests/misc/oracle/bts0990_link.res.oracle
+++ b/tests/misc/oracle/bts0990_link.res.oracle
@@ -1,7 +1,8 @@
 [kernel] Parsing bts0990_link.i (no preprocessing)
 [kernel] Parsing bts0990_link_1.i (no preprocessing)
 [kernel] User Error: Incompatible declaration for s:
-  different type constructors: char * vs. char [100]
+  different type constructors:
+  char * and char [100]
   First declaration was at bts0990_link.i:8
   Current declaration is at bts0990_link_1.i:4
 [kernel] Frama-C aborted: invalid user input.
diff --git a/tests/syntax/oracle/incompatible_qualifiers.1.res.oracle b/tests/syntax/oracle/incompatible_qualifiers.1.res.oracle
index 04b6994f796649ce89915dec160a82cb41cdf68c..6b65e9711ffe6feed2d14a9d675bcd1812a2324a 100644
--- a/tests/syntax/oracle/incompatible_qualifiers.1.res.oracle
+++ b/tests/syntax/oracle/incompatible_qualifiers.1.res.oracle
@@ -17,7 +17,7 @@ void k(int *(*f)(int volatile ));
 
 fp1 *l(int *(*f)(int ));
 
-int (***m(int *(*f)(int volatile )))(char const );
+fp1 **m(int *(*f)(int volatile ));
 
 fp1 * const *n(int *(*f)(int , fp1 **));
 
diff --git a/tests/syntax/oracle/inconsistent_decl.0.res.oracle b/tests/syntax/oracle/inconsistent_decl.0.res.oracle
index eea070edfc9f3c5daef68bce71e4c3ef7b17c4e8..60a0afd4ee07928001aac592f0aa2e0f13a1c0bc 100644
--- a/tests/syntax/oracle/inconsistent_decl.0.res.oracle
+++ b/tests/syntax/oracle/inconsistent_decl.0.res.oracle
@@ -3,7 +3,8 @@
   Calling undeclared function f. Old style K&R code?
 [kernel] Parsing inconsistent_decl_2.i (no preprocessing)
 [kernel] User Error: Incompatible declaration for f:
-  different type constructors: int vs. double
+  different type constructors:
+  int and double
   First declaration was at inconsistent_decl.c:12
   Current declaration is at inconsistent_decl_2.i:5
 [kernel] Frama-C aborted: invalid user input.
diff --git a/tests/syntax/oracle/inconsistent_decl.1.res.oracle b/tests/syntax/oracle/inconsistent_decl.1.res.oracle
index eb9aa0b900887f8afea5a0ef86454c756de545ee..1520423b3fd7653ab6085347fd4f4f4053d63578 100644
--- a/tests/syntax/oracle/inconsistent_decl.1.res.oracle
+++ b/tests/syntax/oracle/inconsistent_decl.1.res.oracle
@@ -4,7 +4,8 @@
   Its formals will be inferred from actual arguments
 [kernel] Parsing inconsistent_decl_2.i (no preprocessing)
 [kernel] User Error: Incompatible declaration for f:
-  different type constructors: int vs. double
+  different type constructors:
+  int and double
   First declaration was at inconsistent_decl.c:8
   Current declaration is at inconsistent_decl_2.i:5
 [kernel] Frama-C aborted: invalid user input.