From 74a9f06074cea0772cfc699ddf6474759c5ff5e8 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 18 Apr 2024 11:12:58 +0200 Subject: [PATCH] add test checking that we do run MIR validation --- tests/panic/mir-validation.rs | 21 +++++++++++++++++++++ tests/panic/mir-validation.stderr | 21 +++++++++++++++++++++ 2 files changed, 42 insertions(+) create mode 100644 tests/panic/mir-validation.rs create mode 100644 tests/panic/mir-validation.stderr diff --git a/tests/panic/mir-validation.rs b/tests/panic/mir-validation.rs new file mode 100644 index 0000000000..5e207c2609 --- /dev/null +++ b/tests/panic/mir-validation.rs @@ -0,0 +1,21 @@ +//! Ensure that the MIR validator runs on Miri's input. +//@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> "" +//@normalize-stderr-test: "\n +at [^\n]+" -> "" +//@normalize-stderr-test: "\n +\[\.\.\. omitted [0-9]+ frames? \.\.\.\]" -> "" +//@normalize-stderr-test: "\n[ =]*note:.*" -> "" +#![feature(custom_mir, core_intrinsics)] +use core::intrinsics::mir::*; + +#[custom_mir(dialect = "runtime", phase = "optimized")] +pub fn main() { + mir! { + let x: i32; + let tuple: (*mut i32,); + { + tuple.0 = core::ptr::addr_of_mut!(x); + // Deref at the wrong place! + *(tuple.0) = 1; + Return() + } + } +} diff --git a/tests/panic/mir-validation.stderr b/tests/panic/mir-validation.stderr new file mode 100644 index 0000000000..243fed020e --- /dev/null +++ b/tests/panic/mir-validation.stderr @@ -0,0 +1,21 @@ +thread 'rustc' panicked at compiler/rustc_const_eval/src/transform/validate.rs:LL:CC: +broken MIR in Item(DefId(0:4 ~ mir_validation[fad2]::main)) (after phase change to runtime-optimized) at bb0[1]: +(*(_2.0: *mut i32)), has deref at the wrong place +stack backtrace: + +error: the compiler unexpectedly panicked. this is a bug. + + + + +query stack during panic: +#0 [optimized_mir] optimizing MIR for `main` +end of query stack + +Miri caused an ICE during evaluation. Here's the interpreter backtrace at the time of the panic: + --> RUSTLIB/core/src/ops/function.rs:LL:CC + | +LL | extern "rust-call" fn call_once(self, args: Args) -> Self::Output; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +