configuration/bazel/msvc_assume.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13

int f() {
  static int x = 1;
  if (x == 1) {
    return 0;
  } else {
    __assume(0);
    // Note: the lack of return here is intentional
  }
}

int main() {
  return f();
}