Check that there are no missing probabilities

[Jan Hubicka]

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",