diffblue
diff --git a/‎appveyor.yml
-6 b/‎appveyor.yml
-6
diff --git a/‎buildspec-windows.yml
-6 b/‎buildspec-windows.yml
-6
diff --git a/‎regression/ansi-c/arch_flags_mcpu_bad/object.intel renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/object.intel b/‎regression/ansi-c/arch_flags_mcpu_bad/object.intel renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/object.intel
diff --git a/‎regression/ansi-c/arch_flags_mcpu_bad/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/preproc.i b/‎regression/ansi-c/arch_flags_mcpu_bad/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/preproc.i
diff --git a/‎regression/ansi-c/arch_flags_mcpu_bad/source.c renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/source.c b/‎regression/ansi-c/arch_flags_mcpu_bad/source.c renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/source.c
diff --git a/‎regression/ansi-c/arch_flags_mcpu_bad/test.desc renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/test.desc b/‎regression/ansi-c/arch_flags_mcpu_bad/test.desc renamed to ‎regression/goto-gcc/arch_flags_mcpu_bad/test.desc
diff --git a/‎regression/ansi-c/arch_flags_mcpu_good/object.arm renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/object.arm b/‎regression/ansi-c/arch_flags_mcpu_good/object.arm renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/object.arm
diff --git a/‎regression/ansi-c/arch_flags_mcpu_good/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/preproc.i b/‎regression/ansi-c/arch_flags_mcpu_good/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/preproc.i
diff --git a/‎regression/ansi-c/arch_flags_mcpu_good/source.c renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/source.c b/‎regression/ansi-c/arch_flags_mcpu_good/source.c renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/source.c
diff --git a/‎regression/ansi-c/arch_flags_mcpu_good/test.desc renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/test.desc b/‎regression/ansi-c/arch_flags_mcpu_good/test.desc renamed to ‎regression/goto-gcc/arch_flags_mcpu_good/test.desc
diff --git a/‎regression/ansi-c/arch_flags_mthumb_bad/object.intel renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/object.intel b/‎regression/ansi-c/arch_flags_mthumb_bad/object.intel renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/object.intel
diff --git a/‎regression/ansi-c/arch_flags_mthumb_bad/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/preproc.i b/‎regression/ansi-c/arch_flags_mthumb_bad/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/preproc.i
diff --git a/‎regression/ansi-c/arch_flags_mthumb_bad/source.c renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/source.c b/‎regression/ansi-c/arch_flags_mthumb_bad/source.c renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/source.c
diff --git a/‎regression/ansi-c/arch_flags_mthumb_bad/test.desc renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/test.desc b/‎regression/ansi-c/arch_flags_mthumb_bad/test.desc renamed to ‎regression/goto-gcc/arch_flags_mthumb_bad/test.desc
diff --git a/‎regression/ansi-c/arch_flags_mthumb_good/object.arm renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/object.arm b/‎regression/ansi-c/arch_flags_mthumb_good/object.arm renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/object.arm
diff --git a/‎regression/ansi-c/arch_flags_mthumb_good/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/preproc.i b/‎regression/ansi-c/arch_flags_mthumb_good/preproc.i renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/preproc.i
diff --git a/‎regression/ansi-c/arch_flags_mthumb_good/source.c renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/source.c b/‎regression/ansi-c/arch_flags_mthumb_good/source.c renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/source.c
diff --git a/‎regression/ansi-c/arch_flags_mthumb_good/test.desc renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/test.desc b/‎regression/ansi-c/arch_flags_mthumb_good/test.desc renamed to ‎regression/goto-gcc/arch_flags_mthumb_good/test.desc
diff --git a/‎regression/ansi-c/gcc___auto_type1/main.c renamed to ‎regression/goto-gcc/gcc___auto_type1/main.c b/‎regression/ansi-c/gcc___auto_type1/main.c renamed to ‎regression/goto-gcc/gcc___auto_type1/main.c
diff --git a/‎regression/ansi-c/gcc___auto_type1/test.desc renamed to ‎regression/goto-gcc/gcc___auto_type1/test.desc b/‎regression/ansi-c/gcc___auto_type1/test.desc renamed to ‎regression/goto-gcc/gcc___auto_type1/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes1/main.c renamed to ‎regression/goto-gcc/gcc_attributes1/main.c b/‎regression/ansi-c/gcc_attributes1/main.c renamed to ‎regression/goto-gcc/gcc_attributes1/main.c
diff --git a/‎regression/ansi-c/gcc_attributes1/test.desc renamed to ‎regression/goto-gcc/gcc_attributes1/test.desc b/‎regression/ansi-c/gcc_attributes1/test.desc renamed to ‎regression/goto-gcc/gcc_attributes1/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes10/main.c renamed to ‎regression/goto-gcc/gcc_attributes10/main.c b/‎regression/ansi-c/gcc_attributes10/main.c renamed to ‎regression/goto-gcc/gcc_attributes10/main.c
diff --git a/‎regression/ansi-c/gcc_attributes10/test.desc renamed to ‎regression/goto-gcc/gcc_attributes10/test.desc b/‎regression/ansi-c/gcc_attributes10/test.desc renamed to ‎regression/goto-gcc/gcc_attributes10/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes11/main.c renamed to ‎regression/goto-gcc/gcc_attributes11/main.c b/‎regression/ansi-c/gcc_attributes11/main.c renamed to ‎regression/goto-gcc/gcc_attributes11/main.c
diff --git a/‎regression/ansi-c/gcc_attributes11/test.desc renamed to ‎regression/goto-gcc/gcc_attributes11/test.desc b/‎regression/ansi-c/gcc_attributes11/test.desc renamed to ‎regression/goto-gcc/gcc_attributes11/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes12/main.c renamed to ‎regression/goto-gcc/gcc_attributes12/main.c b/‎regression/ansi-c/gcc_attributes12/main.c renamed to ‎regression/goto-gcc/gcc_attributes12/main.c
diff --git a/‎regression/ansi-c/gcc_attributes12/test.desc renamed to ‎regression/goto-gcc/gcc_attributes12/test.desc b/‎regression/ansi-c/gcc_attributes12/test.desc renamed to ‎regression/goto-gcc/gcc_attributes12/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes13/main.c renamed to ‎regression/goto-gcc/gcc_attributes13/main.c b/‎regression/ansi-c/gcc_attributes13/main.c renamed to ‎regression/goto-gcc/gcc_attributes13/main.c
diff --git a/‎regression/ansi-c/gcc_attributes13/test.desc renamed to ‎regression/goto-gcc/gcc_attributes13/test.desc b/‎regression/ansi-c/gcc_attributes13/test.desc renamed to ‎regression/goto-gcc/gcc_attributes13/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes2/main.c renamed to ‎regression/goto-gcc/gcc_attributes2/main.c b/‎regression/ansi-c/gcc_attributes2/main.c renamed to ‎regression/goto-gcc/gcc_attributes2/main.c
diff --git a/‎regression/ansi-c/gcc_attributes2/test.desc renamed to ‎regression/goto-gcc/gcc_attributes2/test.desc b/‎regression/ansi-c/gcc_attributes2/test.desc renamed to ‎regression/goto-gcc/gcc_attributes2/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes3/main.c renamed to ‎regression/goto-gcc/gcc_attributes3/main.c b/‎regression/ansi-c/gcc_attributes3/main.c renamed to ‎regression/goto-gcc/gcc_attributes3/main.c
diff --git a/‎regression/ansi-c/gcc_attributes3/test.desc renamed to ‎regression/goto-gcc/gcc_attributes3/test.desc b/‎regression/ansi-c/gcc_attributes3/test.desc renamed to ‎regression/goto-gcc/gcc_attributes3/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes4/main.c renamed to ‎regression/goto-gcc/gcc_attributes4/main.c b/‎regression/ansi-c/gcc_attributes4/main.c renamed to ‎regression/goto-gcc/gcc_attributes4/main.c
diff --git a/‎regression/ansi-c/gcc_attributes4/test.desc renamed to ‎regression/goto-gcc/gcc_attributes4/test.desc b/‎regression/ansi-c/gcc_attributes4/test.desc renamed to ‎regression/goto-gcc/gcc_attributes4/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes5/main.c renamed to ‎regression/goto-gcc/gcc_attributes5/main.c b/‎regression/ansi-c/gcc_attributes5/main.c renamed to ‎regression/goto-gcc/gcc_attributes5/main.c
diff --git a/‎regression/ansi-c/gcc_attributes5/test.desc renamed to ‎regression/goto-gcc/gcc_attributes5/test.desc b/‎regression/ansi-c/gcc_attributes5/test.desc renamed to ‎regression/goto-gcc/gcc_attributes5/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes6/main.c renamed to ‎regression/goto-gcc/gcc_attributes6/main.c b/‎regression/ansi-c/gcc_attributes6/main.c renamed to ‎regression/goto-gcc/gcc_attributes6/main.c
diff --git a/‎regression/ansi-c/gcc_attributes6/test.desc renamed to ‎regression/goto-gcc/gcc_attributes6/test.desc b/‎regression/ansi-c/gcc_attributes6/test.desc renamed to ‎regression/goto-gcc/gcc_attributes6/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes7/main.i renamed to ‎regression/goto-gcc/gcc_attributes7/main.i b/‎regression/ansi-c/gcc_attributes7/main.i renamed to ‎regression/goto-gcc/gcc_attributes7/main.i
diff --git a/‎regression/ansi-c/gcc_attributes7/test.desc renamed to ‎regression/goto-gcc/gcc_attributes7/test.desc b/‎regression/ansi-c/gcc_attributes7/test.desc renamed to ‎regression/goto-gcc/gcc_attributes7/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes8/main.c renamed to ‎regression/goto-gcc/gcc_attributes8/main.c b/‎regression/ansi-c/gcc_attributes8/main.c renamed to ‎regression/goto-gcc/gcc_attributes8/main.c
diff --git a/‎regression/ansi-c/gcc_attributes8/test.desc renamed to ‎regression/goto-gcc/gcc_attributes8/test.desc b/‎regression/ansi-c/gcc_attributes8/test.desc renamed to ‎regression/goto-gcc/gcc_attributes8/test.desc
diff --git a/‎regression/ansi-c/gcc_attributes9/main.c renamed to ‎regression/goto-gcc/gcc_attributes9/main.c b/‎regression/ansi-c/gcc_attributes9/main.c renamed to ‎regression/goto-gcc/gcc_attributes9/main.c
diff --git a/‎regression/ansi-c/gcc_attributes9/test.desc renamed to ‎regression/goto-gcc/gcc_attributes9/test.desc b/‎regression/ansi-c/gcc_attributes9/test.desc renamed to ‎regression/goto-gcc/gcc_attributes9/test.desc
diff --git a/‎regression/ansi-c/gcc_builtin_constant_p1/main.c renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/main.c b/‎regression/ansi-c/gcc_builtin_constant_p1/main.c renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/main.c
diff --git a/‎regression/ansi-c/gcc_builtin_constant_p1/test.desc renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/test.desc b/‎regression/ansi-c/gcc_builtin_constant_p1/test.desc renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins1/main.c renamed to ‎regression/goto-gcc/gcc_builtins1/main.c b/‎regression/ansi-c/gcc_builtins1/main.c renamed to ‎regression/goto-gcc/gcc_builtins1/main.c
diff --git a/‎regression/ansi-c/gcc_builtins1/test.desc renamed to ‎regression/goto-gcc/gcc_builtins1/test.desc b/‎regression/ansi-c/gcc_builtins1/test.desc renamed to ‎regression/goto-gcc/gcc_builtins1/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins2/main.c renamed to ‎regression/goto-gcc/gcc_builtins2/main.c b/‎regression/ansi-c/gcc_builtins2/main.c renamed to ‎regression/goto-gcc/gcc_builtins2/main.c
diff --git a/‎regression/ansi-c/gcc_builtins2/test.desc renamed to ‎regression/goto-gcc/gcc_builtins2/test.desc b/‎regression/ansi-c/gcc_builtins2/test.desc renamed to ‎regression/goto-gcc/gcc_builtins2/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins3/main.c renamed to ‎regression/goto-gcc/gcc_builtins3/main.c b/‎regression/ansi-c/gcc_builtins3/main.c renamed to ‎regression/goto-gcc/gcc_builtins3/main.c
diff --git a/‎regression/ansi-c/gcc_builtins3/test.desc renamed to ‎regression/goto-gcc/gcc_builtins3/test.desc b/‎regression/ansi-c/gcc_builtins3/test.desc renamed to ‎regression/goto-gcc/gcc_builtins3/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins4/main.c renamed to ‎regression/goto-gcc/gcc_builtins4/main.c b/‎regression/ansi-c/gcc_builtins4/main.c renamed to ‎regression/goto-gcc/gcc_builtins4/main.c
diff --git a/‎regression/ansi-c/gcc_builtins4/test.desc renamed to ‎regression/goto-gcc/gcc_builtins4/test.desc b/‎regression/ansi-c/gcc_builtins4/test.desc renamed to ‎regression/goto-gcc/gcc_builtins4/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins5/main.c renamed to ‎regression/goto-gcc/gcc_builtins5/main.c b/‎regression/ansi-c/gcc_builtins5/main.c renamed to ‎regression/goto-gcc/gcc_builtins5/main.c
diff --git a/‎regression/ansi-c/gcc_builtins5/test.desc renamed to ‎regression/goto-gcc/gcc_builtins5/test.desc b/‎regression/ansi-c/gcc_builtins5/test.desc renamed to ‎regression/goto-gcc/gcc_builtins5/test.desc
diff --git a/‎regression/ansi-c/gcc_builtins6/main.c renamed to ‎regression/goto-gcc/gcc_builtins6/main.c b/‎regression/ansi-c/gcc_builtins6/main.c renamed to ‎regression/goto-gcc/gcc_builtins6/main.c
diff --git a/‎regression/ansi-c/gcc_builtins6/test.desc renamed to ‎regression/goto-gcc/gcc_builtins6/test.desc b/‎regression/ansi-c/gcc_builtins6/test.desc renamed to ‎regression/goto-gcc/gcc_builtins6/test.desc
diff --git a/‎regression/ansi-c/gcc_types_compatible_p1/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/main.c b/‎regression/ansi-c/gcc_types_compatible_p1/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/main.c
diff --git a/‎regression/ansi-c/gcc_types_compatible_p1/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/test.desc b/‎regression/ansi-c/gcc_types_compatible_p1/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/test.desc
diff --git a/‎regression/ansi-c/gcc_types_compatible_p2/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/main.c b/‎regression/ansi-c/gcc_types_compatible_p2/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/main.c
diff --git a/‎regression/ansi-c/gcc_types_compatible_p2/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/test.desc b/‎regression/ansi-c/gcc_types_compatible_p2/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/test.desc
diff --git a/‎regression/ansi-c/gcc_types_compatible_p3/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/main.c b/‎regression/ansi-c/gcc_types_compatible_p3/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/main.c
diff --git a/‎regression/ansi-c/gcc_types_compatible_p3/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/test.desc b/‎regression/ansi-c/gcc_types_compatible_p3/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/test.desc
diff --git a/‎regression/ansi-c/gcc_types_compatible_p4/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/main.c b/‎regression/ansi-c/gcc_types_compatible_p4/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/main.c
diff --git a/‎regression/ansi-c/gcc_types_compatible_p4/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/test.desc b/‎regression/ansi-c/gcc_types_compatible_p4/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/test.desc
diff --git a/‎regression/ansi-c/gcc_vector1/main.c renamed to ‎regression/goto-gcc/gcc_vector1/main.c b/‎regression/ansi-c/gcc_vector1/main.c renamed to ‎regression/goto-gcc/gcc_vector1/main.c
diff --git a/‎regression/ansi-c/gcc_vector1/test.desc renamed to ‎regression/goto-gcc/gcc_vector1/test.desc b/‎regression/ansi-c/gcc_vector1/test.desc renamed to ‎regression/goto-gcc/gcc_vector1/test.desc
diff --git a/‎regression/ansi-c/gcc_version1/fake-gcc-4 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-4 b/‎regression/ansi-c/gcc_version1/fake-gcc-4 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-4
diff --git a/‎regression/ansi-c/gcc_version1/fake-gcc-5 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-5 b/‎regression/ansi-c/gcc_version1/fake-gcc-5 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-5
diff --git a/‎regression/ansi-c/gcc_version1/fake-gcc-7 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-7 b/‎regression/ansi-c/gcc_version1/fake-gcc-7 renamed to ‎regression/goto-gcc/gcc_version1/fake-gcc-7
diff --git a/‎regression/ansi-c/gcc_version1/gcc-4.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-4.c b/‎regression/ansi-c/gcc_version1/gcc-4.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-4.c
diff --git a/‎regression/ansi-c/gcc_version1/gcc-5.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-5.c b/‎regression/ansi-c/gcc_version1/gcc-5.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-5.c
diff --git a/‎regression/ansi-c/gcc_version1/gcc-7.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-7.c b/‎regression/ansi-c/gcc_version1/gcc-7.c renamed to ‎regression/goto-gcc/gcc_version1/gcc-7.c
diff --git a/‎regression/ansi-c/gcc_version1/test-gcc-4.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-4.desc b/‎regression/ansi-c/gcc_version1/test-gcc-4.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-4.desc
diff --git a/‎regression/ansi-c/gcc_version1/test-gcc-5.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-5.desc b/‎regression/ansi-c/gcc_version1/test-gcc-5.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-5.desc
diff --git a/‎regression/ansi-c/gcc_version1/test-gcc-7.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-7.desc b/‎regression/ansi-c/gcc_version1/test-gcc-7.desc renamed to ‎regression/goto-gcc/gcc_version1/test-gcc-7.desc
@@ -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
 
@@ -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