diff --git a/tests/basic/init.cc b/tests/basic/init.cc
index 337d8039ffda7351e53f17608a6025066374c31f..8047500a3a0952bc76738ca206b65b725421c986 100644
--- a/tests/basic/init.cc
+++ b/tests/basic/init.cc
@@ -11,8 +11,13 @@ typedef struct myStruct {
 
 myStruct s = {};
 
+const int I = -1;
+const long L = -1L;
+const long long LL = -1LL;
+
 int main() {
-     int x = 0;
+     int x = -1;
+     long long ll = I + L + LL;
      A y = { x, 1 };
      y.a++;
      return x;
diff --git a/tests/basic/oracle/init.res.oracle b/tests/basic/oracle/init.res.oracle
index c9baccadd71f549820265aca2272ddc756e26fdd..73e0ee39162006a101040c412c027c9b12f21394 100644
--- a/tests/basic/oracle/init.res.oracle
+++ b/tests/basic/oracle/init.res.oracle
@@ -46,9 +46,13 @@ struct _frama_c_rtti_name_info_node _frama_c_rtti_name_info =
    .number_of_base_classes = 0,
    .pvmt = (struct _frama_c_vmt *)0};
 myStruct s = {.a = {(char)0}};
+static int const I = (int)4294967295;
+static long const L = (long)4294967295;
+static long long const LL = (long long)(-1);
 int main(void)
 {
-  int x = 0;
+  int x = -1;
+  long long ll = (long long)((long)I + L) + LL;
   struct A y = {.a = & x, .b = 1};
   (*(y.a)) ++;
   return x;