From: hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Sun, 2 Jul 2017 22:27:50 +0000 (+0000)
Subject: 	* cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=76b293680d9a8542e9aae15404deed29333a6b11;p=thirdparty%2Fgcc.git

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@249888 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 73e569551b77..64793d9a95f4 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 b0f9104ac12e..c78cb8ee0843 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)