diff options
| author | Martin Liska <mliska@suse.cz> | 2017-11-10 15:40:17 +0100 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2017-11-10 14:40:17 +0000 |
| commit | 93814e2d690f7ccae4d87365b66d05cfa4a11576 (patch) | |
| tree | efaaa92985c6a0c1060cfc6bbc8e9b3292a1ae5a /gcc/coverage.c | |
| parent | 1ea8c961c82baa476503a04a81c73519971e0380 (diff) | |
| download | gcc-93814e2d690f7ccae4d87365b66d05cfa4a11576.tar.gz | |
GCOV: do not support unexecuted blocks in Ada
2017-11-10 Martin Liska <mliska@suse.cz>
* coverage.c (coverage_init): Stream information about
support of has_unexecuted_blocks.
* doc/gcov.texi: Document that.
* gcov-dump.c (dump_gcov_file): Support it in gcov_dump tool.
* gcov.c (read_graph_file): Likewise.
(output_line_beginning): Fix a small issue with
color output.
From-SVN: r254627
Diffstat (limited to 'gcc/coverage.c')
| -rw-r--r-- | gcc/coverage.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/coverage.c b/gcc/coverage.c index f57897b8314..ea05d94f441 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -1269,6 +1269,9 @@ coverage_init (const char *filename) gcov_write_unsigned (GCOV_NOTE_MAGIC); gcov_write_unsigned (GCOV_VERSION); gcov_write_unsigned (bbg_file_stamp); + + /* Do not support has_unexecuted_blocks for Ada. */ + gcov_write_unsigned (strcmp (lang_hooks.name, "GNU Ada") != 0); } } |