diff options
Diffstat (limited to 'configuration/bazel/builtin_unreachable.cpp')
-rw-r--r-- | configuration/bazel/builtin_unreachable.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configuration/bazel/builtin_unreachable.cpp b/configuration/bazel/builtin_unreachable.cpp new file mode 100644 index 0000000..11d20cf --- /dev/null +++ b/configuration/bazel/builtin_unreachable.cpp @@ -0,0 +1,13 @@ +int f() { + static int x = 1; + if (x == 1) { + return 0; + } else { + __builtin_unreachable(); + // Note: the lack of return here is intentional + } +} + +int main() { + return f(); +} |