Merge pull request #2401 from tautschnig/vs-make-constant-rec

kroening · web-flow · commit 83243861f4dd · 2018-06-23T13:21:10.000+01:00
Remove empty function make_constant_rec
diff --git a/src/ansi-c/c_typecheck_base.h b/src/ansi-c/c_typecheck_base.h
@@ -199,7 +199,6 @@ class c_typecheck_baset:
   virtual void make_index_type(exprt &expr);
   virtual void make_constant(exprt &expr);
   virtual void make_constant_index(exprt &expr);
-  virtual void make_constant_rec(exprt &expr);
 
   virtual bool gcc_types_compatible_p(const typet &, const typet &);
 
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
@@ -3451,7 +3451,6 @@ void c_typecheck_baset::typecheck_side_effect_assignment(
 
 void c_typecheck_baset::make_constant(exprt &expr)
 {
-  make_constant_rec(expr);
   simplify(expr, *this);
 
   if(!expr.is_constant() &&
@@ -3478,7 +3477,3 @@ void c_typecheck_baset::make_constant_index(exprt &expr)
     throw 0;
   }
 }
-
-void c_typecheck_baset::make_constant_rec(exprt &expr)
-{
-}

Original file line number	Diff line number	Diff line change
`@@ -3451,7 +3451,6 @@ void c_typecheck_baset::typecheck_side_effect_assignment(`
`3451`	`3451`
`3452`	`3452`	`void c_typecheck_baset::make_constant(exprt &expr)`
`3453`	`3453`	`{`
`3454`		`- make_constant_rec(expr);`
`3455`	`3454`	`simplify(expr, *this);`
`3456`	`3455`
`3457`	`3456`	`if(!expr.is_constant() &&`
`@@ -3478,7 +3477,3 @@ void c_typecheck_baset::make_constant_index(exprt &expr)`
`3478`	`3477`	`throw 0;`
`3479`	`3478`	`}`
`3480`	`3479`	`}`
`3481`		`-`
`3482`		`-void c_typecheck_baset::make_constant_rec(exprt &expr)`
`3483`		`-{`
`3484`		`-}`