move tests that are meant for goto-gcc only

Author: Daniel Kroening

appveyor.yml

@@ -64,17 +64,11 @@ test_script:
 - cmd: |
     cd regression
     rem HACK disable failing tests
-    rmdir /s /q ansi-c\arch_flags_mcpu_bad
-    rmdir /s /q ansi-c\arch_flags_mcpu_good
-    rmdir /s /q ansi-c\arch_flags_mthumb_bad
-    rmdir /s /q ansi-c\arch_flags_mthumb_good
     rmdir /s /q ansi-c\Forward_Declaration2
     rmdir /s /q ansi-c\Incomplete_Type1
     rmdir /s /q ansi-c\Union_Padding1
     rmdir /s /q ansi-c\Universal_characters1
     rmdir /s /q ansi-c\function_return1
-    rmdir /s /q ansi-c\gcc_attributes7
-    rmdir /s /q ansi-c\gcc_version1
     rmdir /s /q ansi-c\struct6
     rmdir /s /q ansi-c\struct7
     rmdir /s /q cbmc\Malloc23
@@ -86,6 +80,7 @@ test_script:
     rmdir /s /q cbmc\byte_update7
     rmdir /s /q cbmc\pipe1
     rmdir /s /q cbmc\unsigned___int128
+    rmdir /s /q goto-cc
     rmdir /s /q goto-gcc
     rmdir /s /q goto-instrument\slice08
     cd ..

buildspec-windows.yml

@@ -28,17 +28,11 @@ phases:
       - |
         cd regression
         # HACK disable failing tests
-        Remove-Item ansi-c\arch_flags_mcpu_bad -Force -Recurse
-        Remove-Item ansi-c\arch_flags_mcpu_good -Force -Recurse
-        Remove-Item ansi-c\arch_flags_mthumb_bad -Force -Recurse
-        Remove-Item ansi-c\arch_flags_mthumb_good -Force -Recurse
         Remove-Item ansi-c\Forward_Declaration2 -Force -Recurse
         Remove-Item ansi-c\Incomplete_Type1 -Force -Recurse
         Remove-Item ansi-c\Union_Padding1 -Force -Recurse
         Remove-Item ansi-c\Universal_characters1 -Force -Recurse
         Remove-Item ansi-c\function_return1 -Force -Recurse
-        Remove-Item ansi-c\gcc_attributes7 -Force -Recurse
-        Remove-Item ansi-c\gcc_version1 -Force -Recurse
         Remove-Item ansi-c\struct6 -Force -Recurse
         Remove-Item ansi-c\struct7 -Force -Recurse
         Remove-Item cbmc\Malloc23 -Force -Recurse
@@ -52,6 +46,7 @@ phases:
         Remove-Item cbmc\unsigned___int128 -Force -Recurse
         Remove-Item cpp -Force -Recurse
         Remove-Item cbmc-cpp -Force -Recurse
+        Remove-Item goto-cc -Force -Recurse
         Remove-Item goto-gcc -Force -Recurse
         Remove-Item systemc -Force -Recurse
         Remove-Item goto-instrument\slice08 -Force -Recurse

regression/Makefile

@@ -14,6 +14,7 @@ DIRS = cbmc \
        goto-diff \
        test-script \
        goto-analyzer-taint \
+       goto-cc \
        goto-gcc \
        goto-cc-cbmc \
        cbmc-cpp \

regression/goto-cc/CMakeLists.txt

@@ -0,0 +1,3 @@
+add_test_pl_tests(
+    "$<TARGET_FILE:goto-cc>"
+)

regression/goto-cc/Makefile

@@ -0,0 +1,19 @@
+default: tests.log
+
+test:
+	@../test.pl -p -c ../../../src/goto-cc/goto-cc
+
+tests.log: ../test.pl
+	@../test.pl -p -c ../../../src/goto-cc/goto-cc
+
+show:
+	@for dir in *; do \
+	  if [ -d "$$dir" ]; then \
+	    vim -o "$$dir/*.c" "$$dir/*.out"; \
+	  fi; \
+	done;
+
+clean:
+	find -name '*.out' -execdir $(RM) '{}' \;
+	find -name '*.gb' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/ansi-c/arch_flags_mcpu_bad/object.intel renamed to regression/goto-cc/arch_flags_mcpu_bad/object.intel

@@ -2,6 +2,7 @@
   int array##__LINE__[(condition) ? 1 : -1]
 
 #ifdef __GNUC__
+#ifndef __clang__
 
 int  x   __attribute__ ((__vector_size__ (12), __may_alias__));
 int  x2   __attribute__ ((__may_alias__));
@@ -11,6 +12,7 @@ STATIC_ASSERT(sizeof(x)==12);
 STATIC_ASSERT(sizeof(x2)==sizeof(int));
 STATIC_ASSERT(sizeof(x3)==12);
 
+#endif
 #endif
 
 int main(int argc, char* argv[])

regression/ansi-c/arch_flags_mcpu_bad/preproc.i renamed to regression/goto-cc/arch_flags_mcpu_bad/preproc.i

@@ -2,6 +2,7 @@
   int some_array[(condition) ? 1 : -1];
 
 #ifdef __GNUC__
+#ifndef __clang__
 
 // gcc allows mode attributes on enums, but clang doesn't
 enum E_QI { E_QI } __attribute__ ((__mode__ (__QI__)));
@@ -27,6 +28,7 @@ STATIC_ASSERT(sizeof(enum E_DI __attribute__ ((__mode__ (__DI__))))==8);
 // from fftw3.h -- this means TF on the underlying floats
 typedef _Complex float __attribute__ ((__mode__ (TC))) fftwq_complex;
 
+#endif
 #endif
 
 int main()

regression/ansi-c/arch_flags_mcpu_bad/source.c renamed to regression/goto-cc/arch_flags_mcpu_bad/source.c

@@ -3,7 +3,9 @@
 enum { E01 = __builtin_isinf(1.0) };
 enum { E02 = __builtin_isnan(1.0) };
 enum { E03 = __builtin_isinf(__builtin_inf()) };
+#ifndef __clang__
 enum { E04 = __builtin_signbit(-1.0) }; // clang doesn't do this one
+#endif
 enum { E05 = __builtin_classify_type(1) };
 enum { E06 = sizeof(int) };
 enum { E07 = __alignof__(int) };

regression/ansi-c/arch_flags_mcpu_bad/test.desc renamed to regression/goto-cc/arch_flags_mcpu_bad/test.desc

@@ -7,6 +7,7 @@ union { int i; } u;
 enum { Econst } e;
 int a[10];
 
+#ifndef __clang__
 STATIC_ASSERT(__builtin_classify_type(*(void *)0)==0);
 STATIC_ASSERT(__builtin_classify_type((int)0)==1);
 STATIC_ASSERT(__builtin_classify_type(e)==3);
@@ -19,6 +20,7 @@ STATIC_ASSERT(__builtin_classify_type((_Complex double)0)==9);
 STATIC_ASSERT(__builtin_classify_type(s)==12);
 STATIC_ASSERT(__builtin_classify_type(u)==13);
 STATIC_ASSERT(__builtin_classify_type(a)==14);
+#endif
 
 #endif