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

Rust: Fix path resolution for raw pointer types

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-12-02 14:43:28 +01:00
parent c15e12c9ff
commit ea1b0a8476
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -774,8 +774,11 @@ private TypeItemNode resolveBuiltin(TypeRepr tr) {
tr instanceof RefTypeRepr and tr instanceof RefTypeRepr and
result instanceof Builtins::RefType result instanceof Builtins::RefType
or or
tr instanceof PtrTypeRepr and tr.(PtrTypeRepr).isConst() and
result instanceof Builtins::PtrType result instanceof Builtins::PtrConstType
or
tr.(PtrTypeRepr).isMut() and
result instanceof Builtins::PtrMutType
or or
result.(Builtins::TupleType).getArity() = tr.(TupleTypeRepr).getNumberOfFields() result.(Builtins::TupleType).getArity() = tr.(TupleTypeRepr).getNumberOfFields()
} }

3
rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -11,6 +11,3 @@ multipleCallTargets
| main.rs:2642:13:2642:31 | ...::from(...) | | main.rs:2642:13:2642:31 | ...::from(...) |
| main.rs:2643:13:2643:31 | ...::from(...) | | main.rs:2643:13:2643:31 | ...::from(...) |
| main.rs:2644:13:2644:31 | ...::from(...) | | main.rs:2644:13:2644:31 | ...::from(...) |
multiplePathResolutions
| main.rs:1818:26:1818:33 | <...> |
| main.rs:1819:17:1819:26 | <...> |