Skip to content

Commit 88057de

Browse files
committed
goto-cc/gcc command line: add option coverage
GCC supports -coverage to enable coverage instrumentation. For now, we silently ignore this option to avoid warnings about an unsupported option. We could, however, consider inserting coverage instrumentation as --cover does with goto-instrument or cbmc.
1 parent f351d5e commit 88057de

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/goto-cc/gcc_cmdline.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -216,6 +216,7 @@ const char *gcc_options_without_argument[]=
216216
"-EB",
217217
"-EL",
218218
"-fast", // Apple only
219+
"-coverage",
219220
nullptr
220221
};
221222
// clang-format on

0 commit comments

Comments
 (0)