From 74cba8ddd34e3b62c286dd97665caf8fe0c1b051 Mon Sep 17 00:00:00 2001 From: Peter Schrammel Date: Mon, 5 Feb 2018 16:04:49 +0000 Subject: [PATCH] For coverage select only representative instructions that have a function --- src/goto-instrument/cover_basic_blocks.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-instrument/cover_basic_blocks.cpp b/src/goto-instrument/cover_basic_blocks.cpp index 87a40c0708f..b5191ce5b51 100644 --- a/src/goto-instrument/cover_basic_blocks.cpp +++ b/src/goto-instrument/cover_basic_blocks.cpp @@ -63,6 +63,7 @@ cover_basic_blockst::cover_basic_blockst(const goto_programt &_goto_program) // set representative program location to instrument if( + !it->function.empty() && !it->source_location.is_nil() && !it->source_location.get_file().empty() && !it->source_location.get_line().empty() &&