1 
2 int a, b, c = 1;
3 
main()4 int main ()
5 {
6   for (; b < 1; b++)
7     ;
8   if (!(c * (a < 1)))
9     __builtin_abort ();
10   return 0;
11 }
12