hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Fix bad join

Browse Source
This commit is contained in:
Tom Hvitved
2025-05-23 13:57:19 +02:00
parent 23b4e5042f
commit c8ff69af9a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rust/ql/lib/codeql/rust/internal/PathResolution.qll
View File

@@ -180,7 +180,8 @@ abstract class ItemNode extends Locatable {
or
preludeEdge(this, name, result) and not declares(this, _, name)
or
builtinEdge(this, name, result)
this instanceof SourceFile and
builtin(name, result)
or
name = "super" and
if this instanceof Module or this instanceof SourceFile
@@ -1425,8 +1426,7 @@ private predicate preludeEdge(SourceFile f, string name, ItemNode i) {
private import codeql.rust.frameworks.stdlib.Bultins as Builtins
pragma[nomagic]
private predicate builtinEdge(SourceFile source, string name, ItemNode i) {
exists(source) and
private predicate builtin(string name, ItemNode i) {
exists(SourceFileItemNode builtins |
builtins.getFile().getParentContainer() instanceof Builtins::BuiltinsFolder and
i = builtins.getASuccessorRec(name)