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