diff options
Diffstat (limited to 'configuration/bazel/msvc_assume.cpp')
-rw-r--r-- | configuration/bazel/msvc_assume.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configuration/bazel/msvc_assume.cpp b/configuration/bazel/msvc_assume.cpp new file mode 100644 index 0000000..cd9f6ed --- /dev/null +++ b/configuration/bazel/msvc_assume.cpp @@ -0,0 +1,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(); +} |