[Bug tree-optimization/111445] [12/13/14 Regression] Wrong code at -Os on x86_64-linux-gnu since r12-1077-g57bf3751511

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
For the testsuite, not fixed by the fix for PR110243:

/* { dg-do run } */

extern void abort (void);
short a, b;
unsigned char c = 255;
unsigned cnt;
void __attribute__((noipa))
check (int x)
{
  if (x != 0)
    abort ();
  cnt++;
}
int main() 
{ 
  int d;
  unsigned char e;
  d = 0; 
  for (; a >= 0; a--) {
    int *f = &d;
    *f = c;
  } 
  e = 0; 
  for (; (unsigned char)(d - 255) + e <= 1; e++)
    check (b);
  if (cnt != 2)
    abort ();
  return 0;
}