revert the last small change to ExprHasNoEffect.qll

This commit is contained in:
Erik Krogh Kristensen
2019-10-03 15:57:58 +02:00
committed by Erik Krogh Kristensen
parent 34d0f72706
commit 1c424310ae

View File

@@ -26,7 +26,7 @@ predicate inVoidContext(Expr e) {
n = seq.getNumOperands()
|
i < n - 1 or inVoidContext(seq)
)
)
or
exists(ForStmt stmt | e = stmt.getUpdate())
or