opX in assembler/

kroening · kroening · commit 7b03074eac2d · 2020-04-04T18:58:49.000+01:00
This improves type safety.
diff --git a/src/assembler/remove_asm.cpp b/src/assembler/remove_asm.cpp
@@ -85,8 +85,8 @@ void remove_asmt::gcc_asm_function_call(
   {
     if(it->operands().size() == 2)
     {
-      arguments.push_back(
-        typecast_exprt(address_of_exprt(it->op1()), void_pointer));
+      arguments.push_back(typecast_exprt(
+        address_of_exprt(to_binary_expr(*it).op1()), void_pointer));
     }
   }
 
@@ -95,8 +95,8 @@ void remove_asmt::gcc_asm_function_call(
   {
     if(it->operands().size() == 2)
     {
-      arguments.push_back(
-        typecast_exprt(address_of_exprt(it->op1()), void_pointer));
+      arguments.push_back(typecast_exprt(
+        address_of_exprt(to_binary_expr(*it).op1()), void_pointer));
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -85,8 +85,8 @@ void remove_asmt::gcc_asm_function_call(`
`85`	`85`	`{`
`86`	`86`	`if(it->operands().size() == 2)`
`87`	`87`	`{`
`88`		`- arguments.push_back(`
`89`		`- typecast_exprt(address_of_exprt(it->op1()), void_pointer));`
	`88`	`+ arguments.push_back(typecast_exprt(`
	`89`	`+ address_of_exprt(to_binary_expr(*it).op1()), void_pointer));`
`90`	`90`	`}`
`91`	`91`	`}`
`92`	`92`
`@@ -95,8 +95,8 @@ void remove_asmt::gcc_asm_function_call(`
`95`	`95`	`{`
`96`	`96`	`if(it->operands().size() == 2)`
`97`	`97`	`{`
`98`		`- arguments.push_back(`
`99`		`- typecast_exprt(address_of_exprt(it->op1()), void_pointer));`
	`98`	`+ arguments.push_back(typecast_exprt(`
	`99`	`+ address_of_exprt(to_binary_expr(*it).op1()), void_pointer));`
`100`	`100`	`}`
`101`	`101`	`}`
`102`	`102`