[Bug middle-end/57393] [4.9 Regression] error: definition in block 4 follows the use / internal compiler error: verify_ssa failed

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #24 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
Also the other 'dup' PRs still fail (gcc -O3) . Collecting testcases here:

> cat  PR58018.c

int a, b, c, d, e;

void bar (int p)
{
  int f = b;
  e &= p <= (f ^= 0);
}

void foo ()
{
  for (; d; d++)
    {
      bar (a && c);
      bar (0);
      bar (1);
    }
}


> cat PR58131.c

short a;
int b, c;
int d[1][4][2];

void foo ()
{
  int *e;
  for (b = 1;; b--)
    {
      if (*e)
    break;
      for (c = 2; c >= 0; c--)
        {
      *e |= d[0][3][b] != a;
      int *f = &d[0][3][b];
      *f = 0;
        }
    }
}