===================================================================
@@ -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 Bernd Schmidt <bernds@codesourcery.com>
* cgraphunit.c (ipa_passes): Don't execute all_lto_gen_passes.
===================================================================
@@ -528,11 +528,6 @@ compute_branch_probabilities (unsigned c
/* 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)
{