this is not at all reachable

goblint · Mar 25, 2024 · 9a1486b · 9a1486b
1 parent e267f74
commit 9a1486b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/77-lin2vareq/22-cast-to-short2.c b/tests/regression/77-lin2vareq/22-cast-to-short2.c
@@ -21,7 +21,7 @@ int main() {
   }
   if (allbits == 4294967295 && signedallbits == -1 && unsignedtosigned == -1 &&
     unsignedtounsigned == 65535) {
-    __goblint_check(1); // reachable
+    __goblint_check(0); // NOWARN (unreachable)
     return (-1);
   }