Merge pull request #5571 from tautschnig/fix-identifier_names_illegal_characters-test

Make test identifier_names_illegal_characters work on Windows

Author: tautschnig

regression/CMakeLists.txt

@@ -38,7 +38,6 @@ add_subdirectory(smt2_strings)
 add_subdirectory(strings)
 add_subdirectory(invariants)
 add_subdirectory(goto-diff)
-add_subdirectory(goto-cc-instrument-cbmc)
 add_subdirectory(test-script)
 add_subdirectory(goto-analyzer-taint)
 if(NOT WIN32)

regression/goto-cc-instrument-cbmc/CMakeLists.txt

@@ -2,6 +2,8 @@ int main(void)
 {
   void *v, *x, *x_before;
   x_before = x;
+#ifdef __GNUC__
   __atomic_store_n(&x, 42, 0);
   __atomic_exchange_n(&x, 42, 0);
+#endif
 }

regression/goto-cc-instrument-cbmc/Makefile

@@ -1,6 +1,6 @@
-CORE winbug
+CORE
 test.c
-
+--dump-c
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$