Add an explanatory comment.

This commit is contained in:
Max Schaefer
2020-01-17 10:27:36 +00:00
parent 98c7c4a255
commit e86201829e

View File

@@ -983,9 +983,10 @@ module CFG {
lastNode(getExpr(i), pred, normalCompletion()) and
succ = MkCaseNode(this, i)
or
// visit guard node if there is one
pred = MkCaseNode(this, i) and
succ = getExprEnd(i, _) and
succ != pred
succ != pred // this avoids self-loops if there isn't a guard node
or
pred = getExprEnd(i, false) and
succ = getExprStart(i + 1)