From 504e7a161d9a62d7cf30ca84549deb85675ac229 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Thu, 20 Jan 2022 22:34:26 +0100 Subject: [PATCH] simplify an redundant any() expression --- ql/src/InconsistentCode/LengthComparisonOffByOne.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/InconsistentCode/LengthComparisonOffByOne.ql b/ql/src/InconsistentCode/LengthComparisonOffByOne.ql index b10ae5e3ca7..39c951f0150 100644 --- a/ql/src/InconsistentCode/LengthComparisonOffByOne.ql +++ b/ql/src/InconsistentCode/LengthComparisonOffByOne.ql @@ -29,7 +29,7 @@ class Index extends TIndex { DataFlow::Node getAUse(Index i) { i = VariableIndex(any(DataFlow::SsaNode v | result = v.getAUse())) or - i = ConstantIndex(any(int v | v = result.getIntValue())) + i = ConstantIndex(result.getIntValue()) } /**