diff options
| author | Xinliang David Li <davidxl@google.com> | 2014-07-26 00:06:56 +0000 |
|---|---|---|
| committer | Xinliang David Li <davidxl@gcc.gnu.org> | 2014-07-26 00:06:56 +0000 |
| commit | 2243ba513844565f5046055fe610f32df9f8876f (patch) | |
| tree | b55990283764ae89e23d3c97dc21584d42c7a7c0 /gcc/coverage.h | |
| parent | 37545fa7226bfa3aa72244dd119a9a82ed26d077 (diff) | |
| download | gcc-2243ba513844565f5046055fe610f32df9f8876f.zip gcc-2243ba513844565f5046055fe610f32df9f8876f.tar.gz gcc-2243ba513844565f5046055fe610f32df9f8876f.tar.bz2 | |
Make FDO more tolerant to source changes
From-SVN: r213068
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 a144e0b..2ea5293 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 |