[Bug middle-end/109031] csmith: possible bad code with -O2 -fno-strict-aliasing since r13-254-gdd3c7873a61019e9

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

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

--- Comment #26 from Martin Liška <marxin at gcc dot gnu.org> ---
Simplified to:

unsigned char zero;

int main() {
  unsigned g = 0;
  unsigned *p1 = &g;
  unsigned char *p2 = &zero;

  do {
    (*p1)++;
    (*p2)--;
  } while (zero);

  __builtin_printf ("g=%u\n", g);
  if (g != 256)
    __builtin_abort();
  return 0;
}