bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Disable RemoveZsts in generators to avoid query cycles

Browse source 
Querying layout of a generator requires its optimized MIR. Thus
computing layout during MIR optimization of a generator might create a
query cycle. Disable RemoveZsts in generators to avoid the issue
(similar approach is used in ConstProp transform already).
This commit is contained in:
Tomasz Miąsko 2021-09-15 00:00:00 +00:00
parent 2c7bc5e33c
commit c39d7599a3
2 changed files with 20 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_mir_transform/src/remove_zsts.rs
View file

@ -9,6 +9,10 @@ pub struct RemoveZsts;
impl<'tcx> MirPass<'tcx> for RemoveZsts {
fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
// Avoid query cycles (generators require optimized MIR for layout).
if tcx.type_of(body.source.def_id()).is_generator() {
return;
}
let param_env = tcx.param_env(body.source.def_id());
let (basic_blocks, local_decls) = body.basic_blocks_and_local_decls_mut();
for block in basic_blocks.iter_mut() {