* cgraphunit.c (verify_edge_count_and_frequency): Bounds check.

From-SVN: r179430

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 05539e6355c33f2b99a17bb5fddee71a7e349140..4aa277aac4b61cdc7175b71f74ab3118e6eac4c1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
 2011-10-02  Jan Hubicka  <jh@suse.cz>
 
+       * cgraphunit.c (verify_edge_count_and_frequency): Bounds check.
+
        * cgraphunit.c (ipa_passes): Remove unrechable nodes.
        * lto-streamer-out.c (produce_symtab): Skip unused extern declarations.
        * ipa.c (cgraph_remove_unreachable_nodes): Do not assume that external

diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c
index 5964570d882d6023e7499102c4323fe1e3aa2d94..c75c1300408de95730f8ee10b81814687f610196 100644 (file)
--- a/gcc/cgraphunit.c
+++ b/gcc/cgraphunit.c
@@ -426,7 +426,9 @@ verify_edge_count_and_frequency (struct cgraph_edge *e)
         Remove this once edges are actualy removed from the function at that time.  */
       && (e->frequency
          || (inline_edge_summary_vec
-             && !inline_edge_summary (e)->predicate))
+             && ((VEC_length(inline_edge_summary_t, inline_edge_summary_vec)
+                 <= (unsigned) e->uid)
+                 || !inline_edge_summary (e)->predicate)))
       && (e->frequency
          != compute_call_stmt_bb_frequency (e->caller->decl,
                                             gimple_bb (e->call_stmt))))