Merge pull request diffblue#2155 from tautschnig/mode-fixes

Add missing mode
NathanJPhillips · May 5, 2018 · 88db26f · 88db26f
2 parents 48f1af3 + 2fb3d2f
commit 88db26f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/goto-programs/goto_convert_side_effect.cpp b/src/goto-programs/goto_convert_side_effect.cpp
@@ -437,6 +437,7 @@ void goto_convertt::remove_cpp_new(
   new_symbol.base_name = "new_ptr$0";
   new_symbol.type=expr.type();
   new_symbol.name=tmp_symbol_prefix+id2string(new_symbol.base_name);
+  new_symbol.mode = ID_cpp;
 
   // ensure that the name is unique
   new_name(new_symbol);
@@ -491,6 +492,7 @@ void goto_convertt::remove_malloc(
     new_symbol.type=expr.type();
     new_symbol.name=tmp_symbol_prefix+id2string(new_symbol.base_name);
     new_symbol.location=expr.source_location();
+    new_symbol.mode = mode;
 
     // ensure that the name is unique
     new_name(new_symbol);