From 6fec8b036d47398ed63227c95ba08bc8b2179d0b Mon Sep 17 00:00:00 2001
From: Jan Hubicka <jh@suse.cz>
Date: Tue, 19 Nov 2013 01:53:13 +0100
Subject: * profile.c (compute_branch_probabilities): Do not sanity check
 run_max.

From-SVN: r204992
---
 gcc/profile.c | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'gcc/profile.c')

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)
     {
-- 
cgit v1.1