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