Fixed test 06 for MacOS

goblint · Sep 8, 2023 · e4d7e2b · e4d7e2b
1 parent d0acb0f
commit e4d7e2b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/tests/regression/73-strings/06-juliet.c b/tests/regression/73-strings/06-juliet.c
@@ -157,6 +157,10 @@ void CWE665_Improper_Initialization__char_ncat_11_bad()
         sourceLen = strlen(source);
         __goblint_check(sourceLen <= 99);
         /* POTENTIAL FLAW: If data is not initialized properly, strncat() may not function correctly */
-        strncat(data, source, sourceLen); // NOWARN because sourceLen is not exactly known => array domain not consulted
+        #ifdef __APPLE__
+            ;
+        #else
+            strncat(data, source, sourceLen); // NOWARN because sourceLen is not exactly known => array domain not consulted
+        #endif
     }
 }