1  /* PR target/94134 */
       2  
       3  static volatile int a = 0;
       4  static volatile int b = 1;
       5  
       6  int
       7  main ()
       8  {
       9    a++;
      10    b++;
      11    if (a != 1 || b != 2)
      12      __builtin_abort ();
      13    return 0;
      14  }