remove leftover debug comments

This commit is contained in:
Erik Krogh Kristensen
2022-04-20 18:42:46 +02:00
parent 4fba5e4dfb
commit 9c5f3e9406

View File

@@ -2043,11 +2043,9 @@ private class BarrierGuardFunction extends Function {
// ad hoc support for conjunctions:
getALogicalAndParent(guard) = returnExpr and guardOutcome = true
or
// getALogicalAndOperand+(returnExpr) = guard.asExpr() and guardOutcome = true
// ad hoc support for disjunctions:
getALogicalOrParent(guard) = returnExpr and guardOutcome = false
|
// getALogicalOrOperand+(returnExpr) = guard.asExpr() and guardOutcome = false
exists(SsaExplicitDefinition ssa |
ssa.getDef().getSource() = returnExpr and
ssa.getVariable().getAUse() = getAReturnedExpr()