f()1*a65addddSAndroid Build Coastguard Workerint f() { 2*a65addddSAndroid Build Coastguard Worker static int x = 1; 3*a65addddSAndroid Build Coastguard Worker if (x == 1) { 4*a65addddSAndroid Build Coastguard Worker return 0; 5*a65addddSAndroid Build Coastguard Worker } else { 6*a65addddSAndroid Build Coastguard Worker __assume(0); 7*a65addddSAndroid Build Coastguard Worker // Note: the lack of return here is intentional 8*a65addddSAndroid Build Coastguard Worker } 9*a65addddSAndroid Build Coastguard Worker } 10*a65addddSAndroid Build Coastguard Worker main()11*a65addddSAndroid Build Coastguard Workerint main() { 12*a65addddSAndroid Build Coastguard Worker return f(); 13*a65addddSAndroid Build Coastguard Worker } 14