diff options
Diffstat (limited to 'gcc/profile.c')
| -rw-r--r-- | gcc/profile.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/profile.c b/gcc/profile.c index 5f73b2c..098a4be 100644 --- a/gcc/profile.c +++ b/gcc/profile.c @@ -528,11 +528,6 @@ compute_branch_probabilities (unsigned cfg_checksum, unsigned lineno_checksum) /* Very simple sanity checks so we catch bugs in our profiling code. */ if (!profile_info) return; - if (profile_info->run_max * profile_info->runs < profile_info->sum_max) - { - error ("corrupted profile info: run_max * runs < sum_max"); - exec_counts = NULL; - } if (profile_info->sum_all < profile_info->sum_max) { |