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.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.c')
| -rw-r--r-- | gcc/gcov.c | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -424,6 +424,9 @@ static char *bbg_file_name; /* Stamp of the bbg file */ static unsigned bbg_stamp; +/* Supports has_unexecuted_blocks functionality. */ +static unsigned bbg_supports_has_unexecuted_blocks; + /* Name and file pointer of the input file for the count data (gcda). */ static char *da_file_name; @@ -1492,6 +1495,7 @@ read_graph_file (void) bbg_file_name, v, e); } bbg_stamp = gcov_read_unsigned (); + bbg_supports_has_unexecuted_blocks = gcov_read_unsigned (); while ((tag = gcov_read_unsigned ())) { @@ -2732,7 +2736,8 @@ output_line_beginning (FILE *f, bool exists, bool unexceptional, if (count > 0) { s = format_gcov (count, 0, -1); - if (has_unexecuted_block) + if (has_unexecuted_block + && bbg_supports_has_unexecuted_blocks) { if (flag_use_colors) { |