fix a wrong assert in StackNesting

2025-12-21 12:14:44 +01:00 · 2017-03-30 09:32:44 -07:00
parent 9921286a83
commit c41de405c4
1 changed files with 2 additions and 1 deletions
--- a/lib/SILOptimizer/Utils/StackNesting.cpp
+++ b/lib/SILOptimizer/Utils/StackNesting.cpp
@@ -119,7 +119,8 @@ bool StackNesting::solve() {
            // More locations are alive around the StackInst's location.
            // Update the AlivaLocs bitset, which contains all those alive
            // locations.
-            assert(Bits.test(BitNr) && "no dealloc found for alloc stack");
+            assert((Bits.test(BitNr) || (!BI.ExitReachable && !Bits.any()))
+                   && "no dealloc found for alloc stack");
            StackLocs[BitNr].AliveLocs = Bits;
            changed = true;
            isNested = true;