From 64d98f8ee037282c35007b64c2649055c56af1db Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:03 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- tests/mir-opt/loop_test.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 tests/mir-opt/loop_test.rs (limited to 'tests/mir-opt/loop_test.rs') diff --git a/tests/mir-opt/loop_test.rs b/tests/mir-opt/loop_test.rs new file mode 100644 index 000000000..7ded5b575 --- /dev/null +++ b/tests/mir-opt/loop_test.rs @@ -0,0 +1,17 @@ +// compile-flags: -Z identify_regions + +// Tests to make sure we correctly generate falseUnwind edges in loops + +// EMIT_MIR loop_test.main.SimplifyCfg-promote-consts.after.mir +fn main() { + // Exit early at runtime. Since only care about the generated MIR + // and not the runtime behavior (which is exercised by other tests) + // we just bail early. Without this the test just loops infinitely. + if true { + return; + } + loop { + let x = 1; + continue; + } +} -- cgit v1.2.3