Bugfix: Exclude functions without bodies from GOTO statistics.

marek-trtik · marek-trtik · commit 48b154a88161 · 2017-10-05T14:53:37.000+01:00
diff --git a/src/goto-programs/goto_statistics.cpp b/src/goto-programs/goto_statistics.cpp
@@ -15,6 +15,8 @@ void goto_statisticst::extend(
 {
   for(auto const &elem : functions.function_map)
   {
+    if(!elem.second.body_available())
+      continue;
     for(const auto &instr : elem.second.body.instructions)
     {
       switch(instr.type)

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,8 @@ void goto_statisticst::extend(`
`15`	`15`	`{`
`16`	`16`	`for(auto const &elem : functions.function_map)`
`17`	`17`	`{`
	`18`	`+ if(!elem.second.body_available())`
	`19`	`+ continue;`
`18`	`20`	`for(const auto &instr : elem.second.body.instructions)`
`19`	`21`	`{`
`20`	`22`	`switch(instr.type)`