1  void abort (void);
       2  
       3  int f (int a, int b)
       4  {
       5    if (a == 1)
       6      a = 0;
       7    if (b == 0)
       8      a = 1;
       9    if (a != 0)
      10      return 0;
      11    return 1;
      12  }
      13  
      14  int main (void)
      15  {
      16    if (f (1, 1) != 1)
      17      abort ();
      18    return 0;
      19  }