File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -399,10 +399,11 @@ bool Rewriter::run() {
399
399
// don't have multiple predecessors) whose end was not reachable (because
400
400
// reachability was not able to make it to the top of some other successor).
401
401
//
402
- // In other words, a control flow boundary is the target edge from a block B
403
- // to its single predecessor P not all of whose successors S in succ(P) had
404
- // reachable beginnings. We witness that fact about P's successors by way of
405
- // P not having a reachable end--see BackwardReachability::meetOverSuccessors.
402
+ // In other words, a control flow boundary is the target block of the edge
403
+ // to a block B from its single predecessor P not all of whose successors S
404
+ // in succ(P) had reachable beginnings. We witness that fact about P's
405
+ // successors by way of P not having a reachable end--see
406
+ // IterativeBackwardReachability::meetOverSuccessors.
406
407
//
407
408
// control-flow-boundary(B) := beginning-reachable(B) && !end-reachable(P)
408
409
for (auto *block : barriers.blocks ) {
You can’t perform that action at this time.
0 commit comments