diff --git a/tests/regression/77-lin2vareq/22-cast-to-short2.c b/tests/regression/77-lin2vareq/22-cast-to-short2.c
index 125b07bafb..d33098712a 100644
--- 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);
   }