simplify multiple parameter selection

This commit is contained in:
Erik Krogh Kristensen
2019-11-26 21:07:37 +01:00
parent 7b262fa9cf
commit 9b608e9ec4

View File

@@ -113,7 +113,7 @@ module Typeahead {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
pred = this
.getAFunctionValue()
.getParameter(any(int i | i = 1 or i = 2))
.getParameter([1..2])
.getACall()
.getAnArgument() and
succ = successor