Skip to content

Commit bd7bb30

Browse files
committed
Add missing unwind information in MIR
1 parent b153ce1 commit bd7bb30

File tree

1 file changed

+10
-1
lines changed
  • frontend/exporter/src/types

1 file changed

+10
-1
lines changed

frontend/exporter/src/types/mir.rs

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -544,6 +544,16 @@ pub enum FunOperand {
544544
DynamicMove(Place),
545545
}
546546

547+
#[derive_group(Serializers)]
548+
#[derive(AdtInto, Clone, Debug, JsonSchema)]
549+
#[args(<'tcx, S: BaseState<'tcx>>, from: rustc_middle::mir::UnwindAction, state: S as _s)]
550+
pub enum UnwindAction {
551+
Continue,
552+
Unreachable,
553+
Terminate(UnwindTerminateReason),
554+
Cleanup(BasicBlock),
555+
}
556+
547557
#[derive_group(Serializers)]
548558
#[derive(AdtInto, Clone, Debug, JsonSchema)]
549559
#[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::TerminatorKind<'tcx>, state: S as s)]
@@ -1101,7 +1111,6 @@ sinto_todo!(rustc_ast::ast, InlineAsmTemplatePiece);
11011111
sinto_todo!(rustc_ast::ast, InlineAsmOptions);
11021112
sinto_todo!(rustc_middle::mir, InlineAsmOperand<'tcx>);
11031113
sinto_todo!(rustc_middle::mir, AssertMessage<'tcx>);
1104-
sinto_todo!(rustc_middle::mir, UnwindAction);
11051114
sinto_todo!(rustc_middle::mir, FakeReadCause);
11061115
sinto_todo!(rustc_middle::mir, RetagKind);
11071116
sinto_todo!(rustc_middle::mir, UserTypeProjection);

0 commit comments

Comments
 (0)