Expression rewriting may enable further constant propagation

Author: tautschnig

src/analyses/constant_propagator.cpp

@@ -269,10 +269,18 @@ bool constant_propagator_domaint::ai_simplify(
   exprt &condition,
   const namespacet &ns) const
 {
-  bool b=values.replace_const.replace(condition);
-  b&=simplify(condition, ns);
+  bool no_change = true;
 
-  return b;
+  while(!values.replace_const.replace(condition))
+  {
+    no_change = false;
+    simplify(condition, ns);
+  }
+
+  if(no_change)
+    no_change &= simplify(condition, ns);
+
+  return no_change;
 }