Add utility function for remove_unreachable.

martin · martin · commit 37fe40d2cd60 · 2017-05-23T00:13:54.000+01:00
diff --git a/src/goto-programs/remove_unreachable.cpp b/src/goto-programs/remove_unreachable.cpp
@@ -55,3 +55,10 @@ void remove_unreachable(goto_programt &goto_program)
       it->make_skip();
   }
 }
+
+void remove_unreachable(goto_functionst &goto_functions)
+{
+  Forall_goto_functions(f_it, goto_functions)
+    remove_unreachable(f_it->second.body);
+}
+
diff --git a/src/goto-programs/remove_unreachable.h b/src/goto-programs/remove_unreachable.h
@@ -12,5 +12,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "goto_functions.h"
 
 void remove_unreachable(goto_programt &goto_program);
+void remove_unreachable(goto_functionst &goto_functions);
 
 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H

Original file line number	Diff line number	Diff line change
`@@ -55,3 +55,10 @@ void remove_unreachable(goto_programt &goto_program)`
`55`	`55`	`it->make_skip();`
`56`	`56`	`}`
`57`	`57`	`}`
	`58`	`+`
	`59`	`+void remove_unreachable(goto_functionst &goto_functions)`
	`60`	`+{`
	`61`	`+ Forall_goto_functions(f_it, goto_functions)`
	`62`	`+ remove_unreachable(f_it->second.body);`
	`63`	`+}`
	`64`	`+`