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

gcc/ChangeLog

 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
 	* tree-cfg.c (gimple_duplicate_sese_tail): Drop UNUSED attributes; update
 	profile.

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)