Merge pull request #8206 from tautschnig/cleanup/32-bit-preproc

Avoid cross-platform preprocessor need from test

Author: tautschnig

regression/cbmc/Anonymous_Struct3/main.c renamed to regression/cbmc/Anonymous_Struct3/main.i

@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$

regression/cbmc/Anonymous_Struct3/test.desc

@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -winx64
 ^EXIT=0$
 ^SIGNAL=0$

regression/cbmc/noop1/main.c renamed to regression/cbmc/noop1/main.i

@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$