[Bug tree-optimization/63476] [5 Regression] ICE: tree check: expected ssa_name, have var_decl in walk_aliased_vdefs_1, at tree-ssa-alias.c:2689

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63476

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Oct 10 11:04:39 2014
New Revision: 216065

URL: https://gcc.gnu.org/viewcvs?rev=216065&root=gcc&view=rev
Log:
2014-10-10  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/63476
    * tree-ssa-pre.c (struct bb_bitmap_sets): Add vop_on_exit member.
    (BB_LIVE_VOP_ON_EXIT): New define.
    (create_expression_by_pieces): Assign VUSEs to stmts.
    (compute_avail): Track BB_LIVE_VOP_ON_EXIT.
    (pass_pre::execute): Assert virtual SSA form is up-to-date
    after insertion.

    * g++.dg/torture/pr63476.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr63476.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c