Fix coroutine validation for mixed panic strategy
Validation introduced in #113124 allows UnwindAction::Continue and TerminatorKind::Resume to occur only in functions with ABI that can unwind. The function ABI depends on the panic strategy, which can vary across crates. Usually MIR is built and validated in the same crate. The coroutine drop glue thus far was an exception. As a result validation could fail when mixing different panic strategies. Avoid the problem by executing AbortUnwindingCalls along with the validation.
This commit is contained in:
parent
5facb422f8
commit
5161b22143
@ -51,7 +51,6 @@
|
|||||||
//! Otherwise it drops all the values in scope at the last suspension point.
|
//! Otherwise it drops all the values in scope at the last suspension point.
|
||||||
|
|
||||||
use crate::abort_unwinding_calls;
|
use crate::abort_unwinding_calls;
|
||||||
use crate::add_call_guards;
|
|
||||||
use crate::deref_separator::deref_finder;
|
use crate::deref_separator::deref_finder;
|
||||||
use crate::errors;
|
use crate::errors;
|
||||||
use crate::pass_manager as pm;
|
use crate::pass_manager as pm;
|
||||||
@ -1168,18 +1167,9 @@ fn create_coroutine_drop_shim<'tcx>(
|
|||||||
simplify::remove_dead_blocks(&mut body);
|
simplify::remove_dead_blocks(&mut body);
|
||||||
|
|
||||||
// Update the body's def to become the drop glue.
|
// Update the body's def to become the drop glue.
|
||||||
// This needs to be updated before the AbortUnwindingCalls pass.
|
|
||||||
let coroutine_instance = body.source.instance;
|
let coroutine_instance = body.source.instance;
|
||||||
let drop_in_place = tcx.require_lang_item(LangItem::DropInPlace, None);
|
let drop_in_place = tcx.require_lang_item(LangItem::DropInPlace, None);
|
||||||
let drop_instance = InstanceDef::DropGlue(drop_in_place, Some(coroutine_ty));
|
let drop_instance = InstanceDef::DropGlue(drop_in_place, Some(coroutine_ty));
|
||||||
body.source.instance = drop_instance;
|
|
||||||
|
|
||||||
pm::run_passes_no_validate(
|
|
||||||
tcx,
|
|
||||||
&mut body,
|
|
||||||
&[&abort_unwinding_calls::AbortUnwindingCalls, &add_call_guards::CriticalCallEdges],
|
|
||||||
None,
|
|
||||||
);
|
|
||||||
|
|
||||||
// Temporary change MirSource to coroutine's instance so that dump_mir produces more sensible
|
// Temporary change MirSource to coroutine's instance so that dump_mir produces more sensible
|
||||||
// filename.
|
// filename.
|
||||||
|
@ -74,11 +74,13 @@ fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, instance: ty::InstanceDef<'tcx>) -> Body<'
|
|||||||
let mut body = EarlyBinder::bind(body.clone()).instantiate(tcx, args);
|
let mut body = EarlyBinder::bind(body.clone()).instantiate(tcx, args);
|
||||||
debug!("make_shim({:?}) = {:?}", instance, body);
|
debug!("make_shim({:?}) = {:?}", instance, body);
|
||||||
|
|
||||||
// Run empty passes to mark phase change and perform validation.
|
|
||||||
pm::run_passes(
|
pm::run_passes(
|
||||||
tcx,
|
tcx,
|
||||||
&mut body,
|
&mut body,
|
||||||
&[],
|
&[
|
||||||
|
&abort_unwinding_calls::AbortUnwindingCalls,
|
||||||
|
&add_call_guards::CriticalCallEdges,
|
||||||
|
],
|
||||||
Some(MirPhase::Runtime(RuntimePhase::Optimized)),
|
Some(MirPhase::Runtime(RuntimePhase::Optimized)),
|
||||||
);
|
);
|
||||||
|
|
||||||
|
11
tests/ui/coroutine/auxiliary/unwind-aux.rs
Normal file
11
tests/ui/coroutine/auxiliary/unwind-aux.rs
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
// compile-flags: -Cpanic=unwind --crate-type=lib
|
||||||
|
// no-prefer-dynamic
|
||||||
|
// edition:2021
|
||||||
|
|
||||||
|
#![feature(coroutines)]
|
||||||
|
pub fn run<T>(a: T) {
|
||||||
|
let _ = move || {
|
||||||
|
drop(a);
|
||||||
|
yield;
|
||||||
|
};
|
||||||
|
}
|
13
tests/ui/coroutine/unwind-abort-mix.rs
Normal file
13
tests/ui/coroutine/unwind-abort-mix.rs
Normal file
@ -0,0 +1,13 @@
|
|||||||
|
// Ensure that coroutine drop glue is valid when mixing different panic
|
||||||
|
// strategies. Regression test for #116953.
|
||||||
|
//
|
||||||
|
// no-prefer-dynamic
|
||||||
|
// build-pass
|
||||||
|
// aux-build:unwind-aux.rs
|
||||||
|
// compile-flags: -Cpanic=abort
|
||||||
|
// needs-unwind
|
||||||
|
extern crate unwind_aux;
|
||||||
|
|
||||||
|
pub fn main() {
|
||||||
|
unwind_aux::run(String::new());
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user