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/gcov-dump.c | |
parent | 1ea8c961c82baa476503a04a81c73519971e0380 (diff) | |
download | gcc-93814e2d690f7ccae4d87365b66d05cfa4a11576.zip gcc-93814e2d690f7ccae4d87365b66d05cfa4a11576.tar.gz gcc-93814e2d690f7ccae4d87365b66d05cfa4a11576.tar.bz2 |
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/gcov-dump.c')
-rw-r--r-- | gcc/gcov-dump.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/gcov-dump.c b/gcc/gcov-dump.c index c4e05cd..e5e649c 100644 --- a/gcc/gcov-dump.c +++ b/gcc/gcov-dump.c @@ -217,6 +217,11 @@ dump_gcov_file (const char *filename) printf ("%s:stamp %lu\n", filename, (unsigned long)stamp); } + /* Support for unexecuted basic blocks. */ + unsigned support_unexecuted_blocks = gcov_read_unsigned (); + if (!support_unexecuted_blocks) + printf ("%s: has_unexecuted_block is not supported\n", filename); + while (1) { gcov_position_t base, position = gcov_position (); |