Cleanup invariants in remove_const_function_pointers

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit a78db8cc20a3 · 2018-09-17T16:15:24.000+01:00
diff --git a/src/goto-programs/remove_const_function_pointers.cpp b/src/goto-programs/remove_const_function_pointers.cpp
@@ -127,7 +127,7 @@ exprt remove_const_function_pointerst::resolve_symbol(
 bool remove_const_function_pointerst::try_resolve_function_call(
   const exprt &expr, functionst &out_functions)
 {
-  assert(out_functions.empty());
+  PRECONDITION(out_functions.empty());
   const exprt &simplified_expr=simplify_expr(expr, ns);
   bool resolved=false;
   functionst resolved_functions;

Original file line number	Diff line number	Diff line change
`@@ -127,7 +127,7 @@ exprt remove_const_function_pointerst::resolve_symbol(`
`127`	`127`	`bool remove_const_function_pointerst::try_resolve_function_call(`
`128`	`128`	`const exprt &expr, functionst &out_functions)`
`129`	`129`	`{`
`130`		`- assert(out_functions.empty());`
	`130`	`+ PRECONDITION(out_functions.empty());`
`131`	`131`	`const exprt &simplified_expr=simplify_expr(expr, ns);`
`132`	`132`	`bool resolved=false;`
`133`	`133`	`functionst resolved_functions;`