Merge pull request #3516 from tautschnig/remove-unused-get_symbol

Remove unused value_set_dereferencet::get_symbol

Author: tautschnig

src/pointer-analysis/value_set_dereference.cpp

@@ -32,14 +32,6 @@ Author: Daniel Kroening, [email protected]
 #include <util/simplify_expr.h>
 #include <util/ssa_expr.h>
 
-const exprt &value_set_dereferencet::get_symbol(const exprt &expr)
-{
-  if(expr.id()==ID_member || expr.id()==ID_index)
-    return get_symbol(expr.op0());
-
-  return expr;
-}
-
 exprt value_set_dereferencet::dereference(
   const exprt &pointer,
   const guardt &guard,

src/pointer-analysis/value_set_dereference.h

@@ -95,8 +95,6 @@ class value_set_dereferencet
 
   valuet build_reference_to(const exprt &what, const exprt &pointer);
 
-  static const exprt &get_symbol(const exprt &object);
-
   bool memory_model(exprt &value, const typet &type, const exprt &offset);
 
   bool memory_model_bytes(