/* { dg-options "-O0" } */

extern void fn1 (void);

int a;

int
main ()
{
  fn1 ();

  if (a != 0) 
    __builtin_abort (); 

  return 0;
}