xref: /aosp_15_r20/external/google-fruit/configuration/bazel/msvc_assume.cpp (revision a65addddcf69f38db5b288d787b6b7571a57bb8f)

f()1*a65addddSAndroid Build Coastguard Worker int 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 Worker int main() {
12*a65addddSAndroid Build Coastguard Worker   return f();
13*a65addddSAndroid Build Coastguard Worker }
14