Merge pull request #8201 from tautschnig/cleanup/has_function_call

Remove unused goto_convertt::has_function_call
diffblue · Feb 22, 2024 · 6cad8ca · 6cad8ca
2 parents d750d01 + 5f53ea3
commit 6cad8ca
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 17 deletions.
diff --git a/src/goto-programs/goto_convert_class.h b/src/goto-programs/goto_convert_class.h
@@ -107,8 +107,6 @@ class goto_convertt:public messaget
 
   void rewrite_boolean(exprt &dest);
 
-  static bool has_function_call(const exprt &expr);
-
   void remove_side_effect(
     side_effect_exprt &expr,
     goto_programt &dest,

diff --git a/src/goto-programs/goto_convert_side_effect.cpp b/src/goto-programs/goto_convert_side_effect.cpp
@@ -22,21 +22,6 @@ Author: Daniel Kroening, [email protected]
 
 #include <ansi-c/c_expr.h>
 
-bool goto_convertt::has_function_call(const exprt &expr)
-{
-  for(const auto &op : expr.operands())
-  {
-    if(has_function_call(op))
-      return true;
-  }
-
-  if(expr.id()==ID_side_effect &&
-     expr.get(ID_statement)==ID_function_call)
-    return true;
-
-  return false;
-}
-
 void goto_convertt::remove_assignment(
   side_effect_exprt &expr,
   goto_programt &dest,