From 810e0e82dc08e1da7c3aef31b937bac1808d7620 Mon Sep 17 00:00:00 2001 From: hubicka Date: Tue, 19 Nov 2013 00:53:13 +0000 Subject: [PATCH] * profile.c (compute_branch_probabilities): Do not sanity check run_max. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@204992 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 4 ++++ 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 + + * profile.c (compute_branch_probabilities): Do not sanity check run_max. + 2013-11-18 Kenneth Zadeck * 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) { -- 2.7.4