Merge pull request #7316 from tautschnig/bugfixes/lexical-exit-early

tautschnig · web-flow · commit fee1d3ef0a8a · 2022-11-10T16:09:02.000+01:00
goto-instrument --show-lexical-loops: exit early
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -662,6 +662,7 @@ int goto_instrument_parse_optionst::doit()
     if(cmdline.isset("show-lexical-loops"))
     {
       show_lexical_loops(goto_model, std::cout);
+      return CPROVER_EXIT_SUCCESS;
     }
 
     if(cmdline.isset("print-internal-representation"))

Original file line number	Diff line number	Diff line change
`@@ -662,6 +662,7 @@ int goto_instrument_parse_optionst::doit()`
`662`	`662`	`if(cmdline.isset("show-lexical-loops"))`
`663`	`663`	`{`
`664`	`664`	`show_lexical_loops(goto_model, std::cout);`
	`665`	`+ return CPROVER_EXIT_SUCCESS;`
`665`	`666`	`}`
`666`	`667`
`667`	`668`	`if(cmdline.isset("print-internal-representation"))`