Description: -m32/-m64 only works on x86
 Don't preprocess files that don't need this.
 .
 cbmc (5.84.0-3) unstableUNRELEASED; urgency=low
 .
   * Fix several lintian warnings
Author: Michael Tautschnig <mt@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2023-06-05

--- cbmc-5.84.0.orig/regression/cbmc/Anonymous_Struct3/main.c
+++ /dev/null
@@ -1,23 +0,0 @@
-// The member without name is a Visual Studio feature
-// https://msdn.microsoft.com/en-us/library/z2cx9y4f.aspx
-typedef union my_U {
-  struct my_S {
-    unsigned      : 1;
-    unsigned f1   : 1;
-  };
-  char raw;
-} fields_t;
-
-fields_t x;
-
-int main()
-{
-  unsigned word=1;
-
-  x.f1 = 1;
-
-  if(*(char *)&word==1)
-    __CPROVER_assert(x.raw == 2, "little endian");
-  else
-    __CPROVER_assert(x.raw == 64, "big endian");
-}
--- /dev/null
+++ cbmc-5.84.0/regression/cbmc/Anonymous_Struct3/main.i
@@ -0,0 +1,23 @@
+// The member without name is a Visual Studio feature
+// https://msdn.microsoft.com/en-us/library/z2cx9y4f.aspx
+typedef union my_U {
+  struct my_S {
+    unsigned      : 1;
+    unsigned f1   : 1;
+  };
+  char raw;
+} fields_t;
+
+fields_t x;
+
+int main()
+{
+  unsigned word=1;
+
+  x.f1 = 1;
+
+  if(*(char *)&word==1)
+    __CPROVER_assert(x.raw == 2, "little endian");
+  else
+    __CPROVER_assert(x.raw == 64, "big endian");
+}
--- cbmc-5.84.0.orig/regression/cbmc/Anonymous_Struct3/test.desc
+++ cbmc-5.84.0/regression/cbmc/Anonymous_Struct3/test.desc
@@ -1,5 +1,5 @@
 CORE new-smt-backend
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$
--- cbmc-5.84.0.orig/regression/cbmc/noop1/main.c
+++ /dev/null
@@ -1,13 +0,0 @@
-int some_function()
-{
-  // this will not be executed
-  __CPROVER_assert(0, "not executed");
-}
-
-int main()
-{
-  // http://msdn.microsoft.com/en-us/library/s6btaxcs%28v=vs.80%29.aspx
-  // the arguments of __noop are _not_ evaluated
-
-  __noop(some_function());
-}
--- /dev/null
+++ cbmc-5.84.0/regression/cbmc/noop1/main.i
@@ -0,0 +1,13 @@
+int some_function()
+{
+  // this will not be executed
+  __CPROVER_assert(0, "not executed");
+}
+
+int main()
+{
+  // http://msdn.microsoft.com/en-us/library/s6btaxcs%28v=vs.80%29.aspx
+  // the arguments of __noop are _not_ evaluated
+
+  __noop(some_function());
+}
--- cbmc-5.84.0.orig/regression/cbmc/noop1/test.desc
+++ cbmc-5.84.0/regression/cbmc/noop1/test.desc
@@ -1,5 +1,5 @@
 CORE new-smt-backend
-main.c
+main.i
 -winx64
 ^EXIT=0$
 ^SIGNAL=0$
--- cbmc-5.84.0.orig/regression/cbmc/noop2/main.c
+++ /dev/null
@@ -1,6 +0,0 @@
-int main(int argc, char *argv)
-{
-  int x = 0;
-  __noop(++x);
-  __CPROVER_assert(x == 0, "__noop ignores side effects");
-}
--- /dev/null
+++ cbmc-5.84.0/regression/cbmc/noop2/main.i
@@ -0,0 +1,6 @@
+int main(int argc, char *argv)
+{
+  int x = 0;
+  __noop(++x);
+  __CPROVER_assert(x == 0, "__noop ignores side effects");
+}
--- cbmc-5.84.0.orig/regression/cbmc/noop2/test.desc
+++ cbmc-5.84.0/regression/cbmc/noop2/test.desc
@@ -1,5 +1,5 @@
 CORE new-smt-backend
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$
