diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a219a1a6759..213943da83f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-09-13  Martin Jambor  <mjambor@suse.cz>
+
+	PR bootstrap/58388
+	* ipa-prop.c (try_make_edge_direct_simple_call): Be less strict in
+	the assert if the edge was a speculative one.
+
 2013-09-13  Richard Biener  <rguenther@suse.de>
 
 	* tree-data-ref.h (known_dependences_p): Move here ...
diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c
index 9054d906582..b511afd7ab9 100644
--- a/gcc/ipa-prop.c
+++ b/gcc/ipa-prop.c
@@ -2603,7 +2603,8 @@ try_make_edge_direct_simple_call (struct cgraph_edge *ie,
     {
       bool ok;
       gcc_checking_assert (cs->callee
-			   && (jfunc->type != IPA_JF_CONST
+			   && (cs != ie
+			       || jfunc->type != IPA_JF_CONST
 			       || !cgraph_node_for_jfunc (jfunc)
 			       || cs->callee == cgraph_node_for_jfunc (jfunc)));
       ok = try_decrement_rdesc_refcount (jfunc);