Merge from rustc

tests/fail/function_calls/exported_symbol_bad_unwind1.rs

@@ -1,5 +1,3 @@
-#![feature(c_unwind)]
-
 #[no_mangle]
 extern "C-unwind" fn unwind() {
  panic!();

tests/fail/function_calls/exported_symbol_bad_unwind2.rs

@@ -4,7 +4,7 @@
 //@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> ""
 //@normalize-stderr-test: "\n +at [^\n]+" -> ""
 //@[definition,both]error-in-other-file: aborted execution
-#![feature(rustc_attrs, c_unwind)]
+#![feature(rustc_attrs)]
 
 #[cfg_attr(any(definition, both), rustc_nounwind)]
 #[no_mangle]

tests/fail/panic/bad_unwind.rs

@@ -1,5 +1,3 @@
-#![feature(c_unwind)]
-
 //! Unwinding when the caller ABI is "C" (without "-unwind") is UB.
 // The opposite version (callee does not allow unwinding) is impossible to
 // even write: MIR validation catches functions that have `UnwindContinue` but

tests/fail/storage-live-dead-var.rs

@@ -0,0 +1,14 @@
+#![feature(core_intrinsics, custom_mir)]
+use std::intrinsics::mir::*;
+
+#[custom_mir(dialect = "runtime")]
+fn main() {
+ mir! {
+ let val: i32;
+ {
+ val = 42; //~ERROR: accessing a dead local variable
+ StorageLive(val); // too late... (but needs to be here to make `val` not implicitly live)
+ Return()
+ }
+ }
+}

tests/fail/storage-live-dead-var.stderr

@@ -0,0 +1,15 @@
+error: Undefined Behavior: accessing a dead local variable
+ --> $DIR/storage-live-dead-var.rs:LL:CC
+ |
+LL | val = 42;
+ | ^^^^^^^^ accessing a dead local variable
+ |
+ = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
+ = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
+ = note: BACKTRACE:
+ = note: inside `main` at $DIR/storage-live-dead-var.rs:LL:CC
+
+note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
+
+error: aborting due to 1 previous error
+

tests/fail/storage-live-resets-var.rs

@@ -0,0 +1,17 @@
+#![feature(core_intrinsics, custom_mir)]
+use std::intrinsics::mir::*;
+
+#[custom_mir(dialect = "runtime")]
+fn main() {
+ mir! {
+ let val: i32;
+ let _val2: i32;
+ {
+ StorageLive(val);
+ val = 42;
+ StorageLive(val); // reset val to `uninit`
+ _val2 = val; //~ERROR: uninitialized
+ Return()
+ }
+ }
+}

tests/fail/storage-live-resets-var.stderr

@@ -0,0 +1,15 @@
+error: Undefined Behavior: constructing invalid value: encountered uninitialized memory, but expected an integer
+ --> $DIR/storage-live-resets-var.rs:LL:CC
+ |
+LL | _val2 = val;
+ | ^^^^^^^^^^^ constructing invalid value: encountered uninitialized memory, but expected an integer
+ |
+ = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
+ = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
+ = note: BACKTRACE:
+ = note: inside `main` at $DIR/storage-live-resets-var.rs:LL:CC
+
+note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
+
+error: aborting due to 1 previous error
+

tests/fail/terminate-terminator.rs

@@ -7,8 +7,6 @@
 // Enable MIR inlining to ensure that `TerminatorKind::UnwindTerminate` is generated
 // instead of just `UnwindAction::Terminate`.
 
-#![feature(c_unwind)]
-
 struct Foo;
 
 impl Drop for Foo {

tests/fail/unwind-action-terminate.rs

@@ -3,8 +3,6 @@
 //@normalize-stderr-test: "\| +\^+" -> "| ^"
 //@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> ""
 //@normalize-stderr-test: "\n +at [^\n]+" -> ""
-#![feature(c_unwind)]
-
 extern "C" fn panic_abort() {
  panic!()
 }

tests/panic/function_calls/exported_symbol_good_unwind.rs

@@ -2,7 +2,7 @@
 // found in this form" errors works without `-C prefer-dynamic` (`panic!` calls foreign function
 // `__rust_start_panic`).
 // no-prefer-dynamic
-#![feature(c_unwind, unboxed_closures)]
+#![feature(unboxed_closures)]
 
 use std::panic;