* profile.c (compute_branch_probabilities): Do not sanity check run_max.

From-SVN: r204992

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9b858ac88512cf4e2c8b042dae2231d6b56600d1..6acc4e8aef01c49cc6de335a45f84df2f8302001 100644 (file)
--- 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 5f73b2ca462d3a9a578b412fc85b8e6b984db6e2..098a4be25df7e26973e61931502ff5272ec8a8d6 100644 (file)
--- 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)
     {