Add mode to get_fresh_local_typed_symexpr

NlightNFotis · NlightNFotis · commit bfea4e679346 · 2020-05-22T10:10:04.000+01:00
diff --git a/src/goto-harness/recursive_initialization.cpp b/src/goto-harness/recursive_initialization.cpp
@@ -532,6 +532,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
`@@ -532,6 +532,7 @@ symbol_exprt recursive_initializationt::get_fresh_local_typed_symexpr(`
`532`	`532`	`initialization_config.mode,`
`533`	`533`	`goto_model.symbol_table);`
`534`	`534`	`fresh_symbol.is_lvalue = true;`
	`535`	`+ fresh_symbol.mode = initialization_config.mode;`
`535`	`536`	`return fresh_symbol.symbol_expr();`
`536`	`537`	`}`
`537`	`538`