simplify an redundant any() expression

This commit is contained in:
Erik Krogh Kristensen
2022-01-20 22:34:26 +01:00
parent 99994eeeb1
commit 504e7a161d

View File

@@ -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())
}
/**