fixup! goto-gcc removes CPROVER macros for native gcc

tautschnig · tautschnig · commit 1f753d80e3cf · 2018-02-27T14:33:33.000Z
diff --git a/src/goto-cc/gcc_mode.cpp b/src/goto-cc/gcc_mode.cpp
@@ -813,7 +813,7 @@ int gcc_modet::run_gcc(const compilet &compiler)
   for(const auto &a : cmdline.parsed_argv)
     new_argv.push_back(a.arg);
 
-  if(compiler.wrote_object_files())
+  if(!act_as_ld && compiler.wrote_object_files())
   {
     // Undefine all __CPROVER macros for the system compiler
     std::map<irep_idt, std::size_t> arities;

Original file line number	Diff line number	Diff line change
`@@ -813,7 +813,7 @@ int gcc_modet::run_gcc(const compilet &compiler)`
`813`	`813`	`for(const auto &a : cmdline.parsed_argv)`
`814`	`814`	`new_argv.push_back(a.arg);`
`815`	`815`
`816`		`- if(compiler.wrote_object_files())`
	`816`	`+ if(!act_as_ld && compiler.wrote_object_files())`
`817`	`817`	`{`
`818`	`818`	`// Undefine all __CPROVER macros for the system compiler`
`819`	`819`	`std::map<irep_idt, std::size_t> arities;`