diff options
author | davidxl <davidxl@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-26 00:06:56 +0000 |
---|---|---|
committer | davidxl <davidxl@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-26 00:06:56 +0000 |
commit | d9e50003cdcadbf7e4f2564ebee9ad108633afd8 (patch) | |
tree | b55990283764ae89e23d3c97dc21584d42c7a7c0 /gcc/coverage.h | |
parent | 86f64bd9b87fd6ed7a0b653aac80cb1ba2c338a0 (diff) |
Make FDO more tolerant to source changes
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213068 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/coverage.h')
-rw-r--r-- | gcc/coverage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/coverage.h b/gcc/coverage.h index a144e0b86a0..2ea5293b277 100644 --- a/gcc/coverage.h +++ b/gcc/coverage.h @@ -56,5 +56,6 @@ extern gcov_type *get_coverage_counts (unsigned /*counter*/, const struct gcov_ctr_summary **); extern tree get_gcov_type (void); +extern bool coverage_node_map_initialized_p (void); #endif |