gcc/testsuite/gcc.dg/attr-returns_twice-1.c

   1 /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
   2 /* { dg-options "-W" } */
   3
   4 int newsetjmp(void) __attribute__((returns_twice));
   5 void g(int);
   6
   7 int
   8 main (void)
   9 {
  10   register int reg asm ("esi") = 1; /* { dg-warning "might be clobbered" "" } */
  11
  12   if (!newsetjmp ())
  13     {
  14       reg = 2;
  15       g (reg);
  16     }
  17   else
  18     {
  19       g (reg);
  20     }
  21
  22   return 0;
  23 }