[Bug optimization/14413] New: ICE caused by tree-ssa-phiopt not unsetting EDGE_FALSE

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

I found this while trying to add some more optimizations to tree-ssa-phiopt.c and trying to 
fix PR14135 at the same time.

void abort(void);
int x, y;
void init_xy(void);
void
test4(void)
{
  init_xy();
  _Bool iftemp0;
  int x1 = x;
  _Bool iftemp1;
  x1++;
  if (x1 != 3)
    {
      iftemp1 = 1;
      goto endfirstif;
    }
  iftemp1 = 0;
  endfirstif:
  iftemp0 = iftemp1;
  if (iftemp0)
    abort();
}

-- 
           Summary: ICE caused by tree-ssa-phiopt not unsetting EDGE_FALSE
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: critical
          Priority: P2
         Component: optimization
        AssignedTo: law at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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