QL: fix getArity on PredicateOrBuiltin

erik-krogh · erik-krogh · commit 74a7945995c6 · 2021-10-15T09:31:53.000+02:00
diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll
@@ -201,7 +201,7 @@ class PredicateOrBuiltin extends TPredOrBuiltin, AstNode {
 
   Type getReturnType() { none() }
 
-  int getArity() { result = count(this.getParameterType(_)) }
+  int getArity() { result = count(int i | exists(this.getParameterType(i))) }
 
   predicate isPrivate() { none() }
 }

Original file line number	Diff line number	Diff line change
`@@ -201,7 +201,7 @@ class PredicateOrBuiltin extends TPredOrBuiltin, AstNode {`
`201`	`201`
`202`	`202`	`Type getReturnType() { none() }`
`203`	`203`
`204`		`- int getArity() { result = count(this.getParameterType(_)) }`
	`204`	`+ int getArity() { result = count(int i \| exists(this.getParameterType(i))) }`
`205`	`205`
`206`	`206`	`predicate isPrivate() { none() }`
`207`	`207`	`}`