From 5f53ea39378a1436de6247e8a3196cf2f4544577 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 9 Feb 2024 14:03:38 +0000 Subject: [PATCH] Remove unused goto_convertt::has_function_call Its use (if ever) predates Git history. Removing to reduce the amount of dead code. --- src/goto-programs/goto_convert_class.h | 2 -- src/goto-programs/goto_convert_side_effect.cpp | 15 --------------- 2 files changed, 17 deletions(-) diff --git a/src/goto-programs/goto_convert_class.h b/src/goto-programs/goto_convert_class.h index 066ee18e465..661260dd1d8 100644 --- 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 index f7ff84f02d4..6c76fcbb271 100644 --- 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, kroening@kroening.com #include -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,