From fa8efb6ca9959aefa7fdbee0abeac1046b1fa4d6 Mon Sep 17 00:00:00 2001 From: Taus Date: Fri, 28 May 2021 12:22:14 +0000 Subject: [PATCH] Make `getParameter` 0-indexed --- ql/src/codeql_ql/ast/Ast.qll | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll index 73622380526..00c12352921 100644 --- a/ql/src/codeql_ql/ast/Ast.qll +++ b/ql/src/codeql_ql/ast/Ast.qll @@ -199,7 +199,11 @@ class ClasslessPredicate extends TClasslessPredicate, Predicate, ModuleDeclarati override VarDecl getParameter(int i) { toGenerated(result) = - rank[i](Generated::VarDecl decl, int index | decl = pred.getChild(index) | decl order by index) + rank[i + 1](Generated::VarDecl decl, int index | + decl = pred.getChild(index) + | + decl order by index + ) } override TypeExpr getReturnTypeExpr() { toGenerated(result) = pred.getReturnType() } @@ -244,7 +248,11 @@ class ClassPredicate extends TClassPredicate, Predicate { override VarDecl getParameter(int i) { toGenerated(result) = - rank[i](Generated::VarDecl decl, int index | decl = pred.getChild(index) | decl order by index) + rank[i + 1](Generated::VarDecl decl, int index | + decl = pred.getChild(index) + | + decl order by index + ) } ClassType getDeclaringType() { result.getDeclaration() = getParent() }