From: Jan Hubicka <hubicka@ucw.cz>
Date: Tue, 23 May 2017 12:20:05 +0000 (+0200)
Subject: ipa-fnsummary.c (estimate_node_size_and_time): Do not sanity check that nonconst... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3494e738cf975b8220002a25c9de4d616a60ac46;p=gcc.git

ipa-fnsummary.c (estimate_node_size_and_time): Do not sanity check that nonconst implies exec.

	* ipa-fnsummary.c (estimate_node_size_and_time): Do not sanity check
	that nonconst implies exec.

From-SVN: r248366
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b45cd01b68c..e5d00ec3bea 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-05-23  Jan Hubicka  <hubicka@ucw.cz>
+
+	* ipa-fnsummary.c (estimate_node_size_and_time): Do not sanity check
+	that nonconst implies exec.
+
 2017-05-23  Jan Hubicka  <hubicka@ucw.cz>
 
 	* ipa-inline-analysis.c (cgraph_2edge_hook_list, cgraph_edge_hook_list,
diff --git a/gcc/ipa-fnsummary.c b/gcc/ipa-fnsummary.c
index d9006d1e218..0a5abb54780 100644
--- a/gcc/ipa-fnsummary.c
+++ b/gcc/ipa-fnsummary.c
@@ -2738,11 +2738,14 @@ estimate_node_size_and_time (struct cgraph_node *node,
 
   for (i = 0; vec_safe_iterate (info->size_time_table, i, &e); i++)
     {
-      bool nonconst = e->nonconst_predicate.evaluate (possible_truths);
       bool exec = e->exec_predicate.evaluate (nonspec_possible_truths);
-      gcc_assert (!nonconst || exec);
+
+      /* Because predicates are conservative, it can happen that nonconst is 1
+	 but exec is 0.  */
       if (exec)
         {
+          bool nonconst = e->nonconst_predicate.evaluate (possible_truths);
+
 	  gcc_checking_assert (e->time >= 0);
 	  gcc_checking_assert (time >= 0);