gcc/testsuite/gcc.dg/pr49069.c

/* PR target/49069 */
/* { dg-do compile } */
/* { dg-options "-Os -fno-tree-forwprop -Wno-div-by-zero" } */

int a;
const unsigned long long b[1] = { 1ULL };
extern void bar (int);

void
foo (void)
{
  for (a = 0; a == 1; a = 2)
    ;
  bar (b[0] == (a == 0 ? a : a / 0));
}