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

Merge pull request #20845 from hvitved/rust/cache-infer-certain-type

Browse Source 
Rust: Cache `inferCertainType`
This commit is contained in:
Tom Hvitved
2025-11-18 20:59:38 +01:00
committed by GitHub
parent f4a6ba9e50 19ff5c09d2
commit 68552f9725
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/lib/codeql/rust/internal/TypeInference.qll
View File

@@ -9,6 +9,7 @@ private import TypeMention
private import typeinference.FunctionType private import typeinference.FunctionType
private import typeinference.FunctionOverloading as FunctionOverloading private import typeinference.FunctionOverloading as FunctionOverloading
private import typeinference.BlanketImplementation as BlanketImplementation private import typeinference.BlanketImplementation as BlanketImplementation
private import codeql.rust.internal.CachedStages
private import codeql.typeinference.internal.TypeInference private import codeql.typeinference.internal.TypeInference
private import codeql.rust.frameworks.stdlib.Stdlib private import codeql.rust.frameworks.stdlib.Stdlib
private import codeql.rust.frameworks.stdlib.Builtins as Builtins private import codeql.rust.frameworks.stdlib.Builtins as Builtins
@@ -419,9 +420,10 @@ module CertainTypeInference {
* Holds if `n` has complete and certain type information and if `n` has the * Holds if `n` has complete and certain type information and if `n` has the
* resulting type at `path`. * resulting type at `path`.
*/ */
pragma[nomagic] cached
Type inferCertainType(AstNode n, TypePath path) { Type inferCertainType(AstNode n, TypePath path) {
result = inferAnnotatedType(n, path) result = inferAnnotatedType(n, path) and
Stages::TypeInferenceStage::ref()
or or
result = inferCertainCallExprType(n, path) result = inferCertainCallExprType(n, path)
or or
@@ -3407,8 +3409,6 @@ private Type inferCastExprType(CastExpr ce, TypePath path) {
cached cached
private module Cached { private module Cached {
private import codeql.rust.internal.CachedStages
/** Holds if `receiver` is the receiver of a method call with an implicit dereference. */ /** Holds if `receiver` is the receiver of a method call with an implicit dereference. */
cached cached
predicate receiverHasImplicitDeref(AstNode receiver) { predicate receiverHasImplicitDeref(AstNode receiver) {