Add mode to get_fresh_local_typed_symexpr

NlightNFotis · NlightNFotis · commit be9f0b4f77d6 · 2020-05-19T11:44:32.000+01:00
diff --git a/src/goto-harness/recursive_initialization.cpp b/src/goto-harness/recursive_initialization.cpp
@@ -530,6 +530,7 @@ symbol_exprt recursive_initializationt::get_fresh_local_typed_symexpr(
     initialization_config.mode,
     goto_model.symbol_table);
   fresh_symbol.is_lvalue = true;
+  fresh_symbol.mode = initialization_config.mode;
   return fresh_symbol.symbol_expr();
 }
 

Original file line number	Diff line number	Diff line change
`@@ -530,6 +530,7 @@ symbol_exprt recursive_initializationt::get_fresh_local_typed_symexpr(`
`530`	`530`	`initialization_config.mode,`
`531`	`531`	`goto_model.symbol_table);`
`532`	`532`	`fresh_symbol.is_lvalue = true;`
	`533`	`+ fresh_symbol.mode = initialization_config.mode;`
`533`	`534`	`return fresh_symbol.symbol_expr();`
`534`	`535`	`}`
`535`	`536`