From 159ed85d242fab974e5032177b6647987a6ca6f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sat, 16 Nov 2024 13:32:13 +0100
Subject: [PATCH] crashes: add test for #131451

---
 tests/crashes/131451.rs | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/crashes/131451.rs

diff --git a/tests/crashes/131451.rs b/tests/crashes/131451.rs
new file mode 100644
index 0000000000000..cd5b44bad8a5b
--- /dev/null
+++ b/tests/crashes/131451.rs
@@ -0,0 +1,9 @@
+//@ known-bug: #131451
+//@ needs-rustc-debug-assertions
+//@ compile-flags: -Zmir-enable-passes=+GVN -Zmir-enable-passes=+JumpThreading --crate-type=lib
+
+pub fn fun(terminate: bool) {
+    while true {}
+
+    while !terminate {}
+}