[Reachability] Removed restrictive assert.

nate-chandler · nate-chandler · commit 043c774792c9 · 2023-03-22T20:42:42.000-07:00
diff --git a/include/swift/SILOptimizer/Analysis/Reachability.h b/include/swift/SILOptimizer/Analysis/Reachability.h
@@ -761,7 +761,6 @@ bool IterativeBackwardReachability<Effects>::findBarrier(SILInstruction *from,
     if (!effect)
       continue;
     if (effect == Effect::Gen()) {
-      assert(false && "found gen (before kill) in reachable block");
       continue;
     }
     // effect == Effect::Kill

Original file line number	Diff line number	Diff line change
`@@ -761,7 +761,6 @@ bool IterativeBackwardReachability<Effects>::findBarrier(SILInstruction *from,`
`761`	`761`	`if (!effect)`
`762`	`762`	`continue;`
`763`	`763`	`if (effect == Effect::Gen()) {`
`764`		`- assert(false && "found gen (before kill) in reachable block");`
`765`	`764`	`continue;`
`766`	`765`	`}`
`767`	`766`	`// effect == Effect::Kill`