Cast floatbv arguments to parameter types on inlining

peterschrammel · peterschrammel · commit 4e76011acfb1 · 2016-12-18T23:43:00.000Z
diff --git a/src/goto-programs/goto_inline.cpp b/src/goto-programs/goto_inline.cpp
@@ -122,6 +122,11 @@ void goto_inlinet::parameter_assignments(
         {
           actual.make_typecast(par_type);
         }
+        else if(f_partype.id()==ID_floatbv &&
+                f_acttype.id()==ID_floatbv)
+        {
+          actual.make_typecast(par_type);
+        }
         else
         {
           error().source_location=actual.find_source_location();

Original file line number	Diff line number	Diff line change
`@@ -122,6 +122,11 @@ void goto_inlinet::parameter_assignments(`
`122`	`122`	`{`
`123`	`123`	`actual.make_typecast(par_type);`
`124`	`124`	`}`
	`125`	`+ else if(f_partype.id()==ID_floatbv &&`
	`126`	`+ f_acttype.id()==ID_floatbv)`
	`127`	`+ {`
	`128`	`+ actual.make_typecast(par_type);`
	`129`	`+ }`
`125`	`130`	`else`
`126`	`131`	`{`
`127`	`132`	`error().source_location=actual.find_source_location();`