diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2017-07-03 00:27:50 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2017-07-02 22:27:50 +0000 |
| commit | a4c57f867ffe31a5a1188b279b9b2e2e3fe01d37 (patch) | |
| tree | bee22363185ede9e16f691021af58c7cf378c3e2 /gcc/cfgrtl.c | |
| parent | 0de11d4dd3d06ea7a77e172290b5f9f138f3fec2 (diff) | |
| download | gcc-a4c57f867ffe31a5a1188b279b9b2e2e3fe01d37.zip gcc-a4c57f867ffe31a5a1188b279b9b2e2e3fe01d37.tar.gz gcc-a4c57f867ffe31a5a1188b279b9b2e2e3fe01d37.tar.bz2 | |
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
Diffstat (limited to 'gcc/cfgrtl.c')
| -rw-r--r-- | gcc/cfgrtl.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index b0f9104a..c78cb8e 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) |