From: Jan Hubicka <hubicka@ucw.cz>
Date: Sun, 2 Jul 2017 22:27:50 +0000 (+0200)
Subject: cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability consistency.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4c57f867ffe31a5a1188b279b9b2e2e3fe01d37;p=gcc.git

cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability consistency.


	* cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability
	consistency.

From-SVN: r249888
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 73e569551b7..64793d9a95f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-07-02  Jan Hubicka  <hubicka@ucw.cz>
+
+	* cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability
+	consistency.
+
 2017-07-02  Jan Hubicka  <hubicka@ucw.cz>
 
 	* dumpfile.c: Include profile-count.h
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index b0f9104ac12..c78cb8ee084 100644
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -2448,13 +2448,11 @@ rtl_verify_edges (void)
 	{
 	  if (!BRANCH_EDGE (bb)->probability.initialized_p ())
 	    {
-	      /* FIXME: sometimes we create BBs with only branch edge
-		 probability defined.  */
-	      if (0)
+	      if (profile_status_for_fn (cfun) != PROFILE_ABSENT)
 		{
-	          error ("verify_flow_info: "
-		         "REG_BR_PROB is set but cfg probability is not");
-	          err = 1;
+		  error ("verify_flow_info: "
+			 "REG_BR_PROB is set but cfg probability is not");
+		  err = 1;
 		}
 	    }
 	  else if (XINT (note, 0)