read_goto_binary does not set the config

Daniel Kroening · Daniel Kroening · commit e7cc22e584d2 · 2018-09-15T10:15:00.000+01:00
Fixes #2949
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -898,11 +898,13 @@ void goto_instrument_parse_optionst::get_goto_program()
 {
   status() << "Reading GOTO program from `" << cmdline.args[0] << "'" << eom;
 
+  config.set(cmdline);
+
   if(read_goto_binary(cmdline.args[0],
     goto_model, get_message_handler()))
     throw 0;
 
-  config.set(cmdline);
+  config.set_from_symbol_table(goto_model.symbol_table);
 }
 
 void goto_instrument_parse_optionst::instrument_goto_program()

Original file line number	Diff line number	Diff line change
`@@ -898,11 +898,13 @@ void goto_instrument_parse_optionst::get_goto_program()`
`898`	`898`	`{`
`899`	`899`	status() << "Reading GOTO program from `" << cmdline.args[0] << "'" << eom;
`900`	`900`
	`901`	`+ config.set(cmdline);`
	`902`	`+`
`901`	`903`	`if(read_goto_binary(cmdline.args[0],`
`902`	`904`	`goto_model, get_message_handler()))`
`903`	`905`	`throw 0;`
`904`	`906`
`905`		`- config.set(cmdline);`
	`907`	`+ config.set_from_symbol_table(goto_model.symbol_table);`
`906`	`908`	`}`
`907`	`909`
`908`	`910`	`void goto_instrument_parse_optionst::instrument_goto_program()`