Relax cleanup to cleanup check

This commit is contained in:
Nathan Corbyn
2020-06-08 16:00:09 +01:00
parent 3aedfbecfd
commit 4158bb0f0b
+2 -2
View File
@@ -62,8 +62,8 @@ fn check_bb(&self, location: Location, bb: BasicBlock, edge_kind: EdgeKind) {
(false, false, EdgeKind::Other)
// Non-cleanup blocks can jump to cleanup blocks along unwind edges
| (false, true, EdgeKind::Unwind)
// Cleanup blocks can jump to cleanup blocks along unwind edges
| (true, true, EdgeKind::Unwind) => {}
// Cleanup blocks can jump to cleanup blocks along any edges
| (true, true, _) => {}
// All other jumps are invalid
_ => {
self.fail(