From: Jan Hubicka <jh@suse.cz>
Date: Tue, 19 Nov 2013 00:53:13 +0000 (+0100)
Subject: * profile.c (compute_branch_probabilities): Do not sanity check run_max.
X-Git-Tag: releases/gcc-4.9.0~2679
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6fec8b036d47398ed63227c95ba08bc8b2179d0b;p=thirdparty%2Fgcc.git

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

From-SVN: r204992
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9b858ac88512..6acc4e8aef01 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 5f73b2ca462d..098a4be25df7 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)
     {