Add comment to cleanup_kinds

based on the original commit message 1ae7ae0c1c
This commit is contained in:
Tomasz Miąsko 2022-12-03 00:00:00 +00:00
parent deba5ddd07
commit 836ef6162d

View File

@ -261,6 +261,9 @@ pub fn funclet_bb(self, for_bb: mir::BasicBlock) -> Option<mir::BasicBlock> {
} }
} }
/// MSVC requires unwinding code to be split to a tree of *funclets*, where each funclet can only
/// branch to itself or to its parent. Luckily, the code we generates matches this pattern.
/// Recover that structure in an analyze pass.
pub fn cleanup_kinds(mir: &mir::Body<'_>) -> IndexVec<mir::BasicBlock, CleanupKind> { pub fn cleanup_kinds(mir: &mir::Body<'_>) -> IndexVec<mir::BasicBlock, CleanupKind> {
fn discover_masters<'tcx>( fn discover_masters<'tcx>(
result: &mut IndexVec<mir::BasicBlock, CleanupKind>, result: &mut IndexVec<mir::BasicBlock, CleanupKind>,