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/dest-prop/union.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/mir-opt/dest-prop/union.rs (limited to 'tests/mir-opt/dest-prop/union.rs') diff --git a/tests/mir-opt/dest-prop/union.rs b/tests/mir-opt/dest-prop/union.rs new file mode 100644 index 000000000..eb6cb09fc --- /dev/null +++ b/tests/mir-opt/dest-prop/union.rs @@ -0,0 +1,16 @@ +//! Tests that we can propagate into places that are projections into unions +// compile-flags: -Zunsound-mir-opts +fn val() -> u32 { + 1 +} + +// EMIT_MIR union.main.DestinationPropagation.diff +fn main() { + union Un { + us: u32, + } + + let un = Un { us: val() }; + + drop(unsafe { un.us }); +} -- cgit v1.2.3