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