Merge pull request #1099 from tautschnig/mult-constant-prop

Do not constant propagate multiplication unconditionally

Author: Daniel Kroening

src/goto-symex/goto_symex_state.cpp

@@ -125,8 +125,12 @@ bool goto_symex_statet::constant_propagation(const exprt &expr) const
   {
     // propagate stuff with sizeof in it
     forall_operands(it, expr)
+    {
       if(it->find(ID_C_c_sizeof_type).is_not_nil())
         return true;
+      else if(!constant_propagation(*it))
+        return false;
+    }
 
     return true;
   }