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