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