From a4b7ed7a42c716ab9f05e351f003d589124fd55d Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:18:58 +0200
Subject: Adding upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 tests/mir-opt/const_prop/invalid_constant.rs | 42 ++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 tests/mir-opt/const_prop/invalid_constant.rs

(limited to 'tests/mir-opt/const_prop/invalid_constant.rs')

diff --git a/tests/mir-opt/const_prop/invalid_constant.rs b/tests/mir-opt/const_prop/invalid_constant.rs
new file mode 100644
index 000000000..0337a7ca8
--- /dev/null
+++ b/tests/mir-opt/const_prop/invalid_constant.rs
@@ -0,0 +1,42 @@
+// Verify that we can pretty print invalid constants.
+
+#![feature(adt_const_params)]
+#![feature(inline_const)]
+#![allow(incomplete_features)]
+
+#[derive(Copy, Clone)]
+#[repr(u32)]
+enum E { A, B, C }
+
+#[derive(Copy, Clone)]
+enum Empty {}
+
+// EMIT_MIR invalid_constant.main.ConstProp.diff
+fn main() {
+    // An invalid char.
+    union InvalidChar {
+        int: u32,
+        chr: char,
+    }
+    let _invalid_char = unsafe { InvalidChar { int: 0x110001 }.chr };
+
+    // An enum with an invalid tag. Regression test for #93688.
+    union InvalidTag {
+        int: u32,
+        e: E,
+    }
+    let _invalid_tag = [unsafe { InvalidTag { int: 4 }.e }];
+
+    // An enum without variants. Regression test for #94073.
+    union NoVariants {
+        int: u32,
+        empty: Empty,
+    }
+    let _enum_without_variants = [unsafe { NoVariants { int: 0 }.empty }];
+
+    // A non-UTF-8 string slice. Regression test for #75763 and #78520.
+    struct Str<const S: &'static str>;
+    let _non_utf8_str: Str::<{
+        unsafe { std::mem::transmute::<&[u8], &str>(&[0xC0, 0xC1, 0xF5]) }
+    }>;
+}
-- 
cgit v1.2.3