/* PR 8848 */ extern void abort (); int foo(int status) { int s = 0; if (status == 1) s=1; if (status == 3) s=3; if (status == 4) s=4; return s; } int main() { if (foo (3) != 3) abort (); return 0; }