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 73e569551b77e21364faf9e2259299f08006ee67..64793d9a95f4145ed58b86b075b6c5bc6316c23d 100644 (file)
--- 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 b0f9104ac12e999582f2adc4e1d0c2a0d01a372e..c78cb8ee084392e88f88e622a4961631b8e30f17 100644 (file)
--- 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)