[Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge

[vries at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763

--- Comment #12 from vries at gcc dot gnu.org 2011-10-24 12:06:19 UTC ---
Created attachment 25590
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25590
proposed patch for problem reported in comment 10

2011-10-24  Tom de Vries  <t...@codesourcery.com>

    PR tree-optimization/50763
    * tree-ssa-tail-merge.c (replace_block_by): Update vops if phi_vuse1 or
    phi_vuse2 is NULL_TREE only if bb1 dominates or is dominated by bb2.

    * gcc.dg/pr50763-2.c: New test.