Consider a callable to ambiguous if it has a varargs parameter

Sauyon Lee · Sauyon Lee · commit 9d66761eeb3e · 2021-08-27T11:25:02.000-07:00
diff --git a/java/ql/src/utils/FlowTestCaseUtils.qll b/java/ql/src/utils/FlowTestCaseUtils.qll
@@ -70,6 +70,8 @@ predicate mayBeAmbiguous(Callable c) {
     other.getNumberOfParameters() = c.getNumberOfParameters() and
     other != c
   )
+  or
+  c.isVarargs()
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -70,6 +70,8 @@ predicate mayBeAmbiguous(Callable c) {`
`70`	`70`	`other.getNumberOfParameters() = c.getNumberOfParameters() and`
`71`	`71`	`other != c`
`72`	`72`	`)`
	`73`	`+ or`
	`74`	`+ c.isVarargs()`
`73`	`75`	`}`
`74`	`76`
`75`	`77`	`/**`