20030717-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

/* { dg-do run } */
/* { dg-options "-O2" } */

extern void abort (void);

int zero (void)
{
  return 0;
}

int one (void)
{
  return 1;
}

int main (void)
{
  int i = 1;
  int r = (i ? one : zero)();
  if (r != 1)
    abort();
  return 0;
}