Use non-deprecated to_integer(constant_expr)

tautschnig · tautschnig · commit 2aa6a2f08cd3 · 2018-07-07T09:46:41.000+01:00
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -1232,7 +1232,7 @@ bool simplify_exprt::get_values(
   if(expr.is_constant())
   {
     mp_integer int_value;
-    if(to_integer(expr, int_value))
+    if(to_integer(to_constant_expr(expr), int_value))
       return true;
 
     value_list.insert(int_value);

Original file line number	Diff line number	Diff line change
`@@ -1232,7 +1232,7 @@ bool simplify_exprt::get_values(`
`1232`	`1232`	`if(expr.is_constant())`
`1233`	`1233`	`{`
`1234`	`1234`	`mp_integer int_value;`
`1235`		`- if(to_integer(expr, int_value))`
	`1235`	`+ if(to_integer(to_constant_expr(expr), int_value))`
`1236`	`1236`	`return true;`
`1237`	`1237`
`1238`	`1238`	`value_list.insert(int_value);`