diff options
| author | Jan Hubicka <jh@suse.cz> | 2013-11-19 01:53:13 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2013-11-19 00:53:13 +0000 |
| commit | 6fec8b036d47398ed63227c95ba08bc8b2179d0b (patch) | |
| tree | 05f28464dcf5ec55f036c1685edfb7b671c29037 | |
| parent | 1d0b33343a5910510269ed4f21d9e8077f2e91c7 (diff) | |
| download | gcc-6fec8b036d47398ed63227c95ba08bc8b2179d0b.zip gcc-6fec8b036d47398ed63227c95ba08bc8b2179d0b.tar.gz gcc-6fec8b036d47398ed63227c95ba08bc8b2179d0b.tar.bz2 | |
* profile.c (compute_branch_probabilities): Do not sanity check run_max.
From-SVN: r204992
| -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) { |