[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 #23 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 
---
(In reply to Easwaran Raman from comment #21)
> Created attachment 30690 [details]
> Proposed patch

I tested this patch on top of the one posted to the mailing list (comment #18),
and this fixes the testcase in #6 and #7. However it does not fix the testcase
reported in PR57923 (marked as dup of this PR, and replicated now for
completeness):

gcc -O3 :

char a;

foo (int **p)
{
  int b;
  for (;;) {
    int c[1] = {};
    unsigned *d = &c[0];
    for (b=7; b; b--)
      **p &= --*d >= a;
  }
}