diff options
Diffstat (limited to 'gcc/profile.h')
| -rw-r--r-- | gcc/profile.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/profile.h b/gcc/profile.h index 78d69f4..a97445b 100644 --- a/gcc/profile.h +++ b/gcc/profile.h @@ -77,4 +77,8 @@ extern void get_working_sets (void); profile.cc. */ extern struct gcov_summary *profile_info; +/* Return true if any cfg coverage/profiling is enabled; -fprofile-arcs + -fcondition-coverage -fpath-coverage. */ +extern bool coverage_instrumentation_p (); + #endif /* PROFILE_H */ |