Hi, this patch enables check that no edge probabilities are missing. Honza
* cfghooks.c (verify_flow_info): Check that edge probabilities are set. Index: cfghooks.c =================================================================== --- cfghooks.c (revision 253694) +++ cfghooks.c (working copy) @@ -160,6 +161,13 @@ verify_flow_info (void) e->src->index, e->dest->index); err = 1; } + if (profile_status_for_fn (cfun) >= PROFILE_GUESSED + && !e->probability.initialized_p ()) + { + error ("Uninitialized probability of edge %i->%i", e->src->index, + e->dest->index); + err = 1; + } if (!e->probability.verify ()) { error ("verify_flow_info: Wrong probability of edge %i->%i",