diff --git a/tests/syntax/ko_global.c b/tests/syntax/ko_global.c
index 2c61e443df6b3d5166f35a10186bc786e8626a20..7eb38c401b614467933f6878f9acd748b6f8b847 100644
--- a/tests/syntax/ko_global.c
+++ b/tests/syntax/ko_global.c
@@ -3,9 +3,13 @@
    STDOPT:
 */
 
+#include <stdint.h>
+
 int * const a;
 int * b = a;
 
+uintptr_t b1 = (uintptr_t) a;
+
 struct stru {
     const int c;
 };
diff --git a/tests/syntax/oracle/ko_global.res.oracle b/tests/syntax/oracle/ko_global.res.oracle
index 204f067a98c9e43a28e94eeca8b36ecd7581e598..9b0dddba526690da19d148e67a7b72b0269f32cb 100644
--- a/tests/syntax/oracle/ko_global.res.oracle
+++ b/tests/syntax/oracle/ko_global.res.oracle
@@ -1,11 +1,12 @@
 [kernel] Parsing ko_global.c (with preprocessing)
-[kernel] ko_global.c:7: User Error: a is not a compile-time constant
-[kernel] ko_global.c:17: User Error: f is not a compile-time constant
-[kernel] ko_global.c:19: User Error: g is not a compile-time constant
-[kernel] ko_global.c:24: User Error: i is not a compile-time constant
-[kernel] ko_global.c:27: User Error: k is not a compile-time constant
-[kernel] ko_global.c:34: User Error: n is not a compile-time constant
-[kernel] ko_global.c:41: User Error: q is not a compile-time constant
+[kernel] ko_global.c:9: User Error: a is not a compile-time constant
+[kernel] ko_global.c:11: User Error: a is not a compile-time constant
+[kernel] ko_global.c:21: User Error: f is not a compile-time constant
+[kernel] ko_global.c:23: User Error: g is not a compile-time constant
+[kernel] ko_global.c:28: User Error: i is not a compile-time constant
+[kernel] ko_global.c:31: User Error: k is not a compile-time constant
+[kernel] ko_global.c:38: User Error: n is not a compile-time constant
+[kernel] ko_global.c:45: User Error: q is not a compile-time constant
 [kernel] User Error: stopping on file "ko_global.c" that has errors. Add '-kernel-msg-key pp'
   for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.