Skip to content

Commit 9f8745b

Browse files
committed
unified: Exclude name bindings from resolution
1 parent d401b96 commit 9f8745b

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

‎unified/ql/lib/codeql/unified/internal/LocalNameBinding.qll‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -330,7 +330,9 @@ private module LocalNameBindingInput implements LocalNameBindingInputSig<Locatio
330330

331331
predicate implicitDeclInScope(string name, AstNode scope) { implicitDeclInScope(name, scope, _) }
332332

333-
predicate accessCand(AstNode n, string name) { n.(PotentialLocalNameAccess).getName() = name }
333+
predicate accessCand(AstNode n, string name) {
334+
n.(PotentialLocalNameAccess).getName() = name and not n instanceof NameBinding
335+
}
334336

335337
predicate uncertainScope(AstNode scope) {
336338
// Classes can have uncertain members due to unqualified access to inherited members.

0 commit comments

Comments
 (0)