Merge pull request #1436 from smowton/smowton/initialize-goto-model-opaque-stub-generation

smowton · web-flow · commit 6888dd2a2dcd · 2017-10-03T17:12:41.000+01:00
Set opaque stub generation in initialize-goto-model
diff --git a/src/goto-programs/initialize_goto_model.cpp b/src/goto-programs/initialize_goto_model.cpp
@@ -117,6 +117,10 @@ bool initialize_goto_model(
 
       if(binaries.empty())
       {
+        // Enable/disable stub generation for opaque methods
+        bool stubs_enabled=cmdline.isset("generate-opaque-stubs");
+        language_files.set_should_generate_opaque_method_stubs(stubs_enabled);
+
         if(language_files.final(goto_model.symbol_table))
         {
           msg.error() << "CONVERSION ERROR" << messaget::eom;

Original file line number	Diff line number	Diff line change
`@@ -117,6 +117,10 @@ bool initialize_goto_model(`
`117`	`117`
`118`	`118`	`if(binaries.empty())`
`119`	`119`	`{`
	`120`	`+ // Enable/disable stub generation for opaque methods`
	`121`	`+ bool stubs_enabled=cmdline.isset("generate-opaque-stubs");`
	`122`	`+ language_files.set_should_generate_opaque_method_stubs(stubs_enabled);`
	`123`	`+`
`120`	`124`	`if(language_files.final(goto_model.symbol_table))`
`121`	`125`	`{`
`122`	`126`	`msg.error() << "CONVERSION ERROR" << messaget::eom;`