about summary refs log tree commit diff
path: root/src/test/ui/enum-discriminant
diff options
context:
space:
mode:
authorMichael Benfield <mbenfield@google.com>2022-11-17 15:03:02 +0000
committerMichael Benfield <mbenfield@google.com>2022-11-18 21:16:12 +0000
commit31c0645b9d2539f47eecb096142474b29dc542f7 (patch)
tree30828b9875ceedf215a0858810ebeb08b5ad5e94 /src/test/ui/enum-discriminant
parentfd3bfb35511cbcff59ce1454d3db627b576d7e92 (diff)
downloadrust-31c0645b9d2539f47eecb096142474b29dc542f7.tar.gz
rust-31c0645b9d2539f47eecb096142474b29dc542f7.zip
rustc_codegen_ssa: Fix for codegen_get_discr
When doing the optimized implementation of getting the discriminant, the
arithmetic needs to be done in the tag type so wrapping behavior works
correctly.

Fixes #104519
Diffstat (limited to 'src/test/ui/enum-discriminant')
-rw-r--r--src/test/ui/enum-discriminant/issue-104519.rs36
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/enum-discriminant/issue-104519.rs b/src/test/ui/enum-discriminant/issue-104519.rs
new file mode 100644
index 00000000000..c4630f76b3a
--- /dev/null
+++ b/src/test/ui/enum-discriminant/issue-104519.rs
@@ -0,0 +1,36 @@
+// run-pass
+#![allow(dead_code)]
+
+enum OpenResult {
+    Ok(()),
+    Err(()),
+    TransportErr(TransportErr),
+}
+
+#[repr(i32)]
+enum TransportErr {
+    UnknownMethod = -2,
+}
+
+#[inline(never)]
+fn some_match(result: OpenResult) -> u8 {
+    match result {
+        OpenResult::Ok(()) => 0,
+        _ => 1,
+    }
+}
+
+fn main() {
+    let result = OpenResult::Ok(());
+    assert_eq!(some_match(result), 0);
+
+    let result = OpenResult::Ok(());
+    match result {
+        OpenResult::Ok(()) => (),
+        _ => unreachable!("message a"),
+    }
+    match result {
+        OpenResult::Ok(()) => (),
+        _ => unreachable!("message b"),
+    }
+}