Add annotation of nowarn next to pthread_exit.

goblint · Nov 22, 2023 · be9171b · be9171b
1 parent f12a392
commit be9171b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c b/tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c
@@ -14,9 +14,9 @@ int main(int argc, char const *argv[]) {
     pthread_t t1;
     pthread_create(&t1, NULL, f1, NULL);
 
-    pthread_exit(NULL);
-
     // A pthread_exit called in main will wait for other threads to finish
     // Therefore, no memory leak here
-    return 0; // NOWARN
+    pthread_exit(NULL); // NOWARN
+
+    return 0; // NOWARN (unreachable)
 }