1  int foo (int b, int c)
       2  {
       3    int x;
       4    if (b)
       5      return x & c;
       6    else
       7      return 1;
       8  }
       9  extern void abort (void);
      10  int main()
      11  {
      12    if (foo(1, 0) != 0)
      13      abort ();
      14    return 0;
      15  }
      16