diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/profile.c | 5 |
2 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9b858ac..6acc4e8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2013-11-18 Jan Hubicka <jh@suse.cz> + + * profile.c (compute_branch_probabilities): Do not sanity check run_max. + 2013-11-18 Kenneth Zadeck <zadeck@naturalbridge.com> * tree.c (int_fits_type_p): Change GET_MODE_BITSIZE to 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) { |