Rust: Make SummarizedCallable extend Function instead of string
#19268
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -114,13 +115,30 @@ | |||
| ) | |||
| } | |||
|
|
|||
| private predicate sdf(CallExprBase call, Function f) { | |||
Check warning
Code scanning / CodeQL
Dead code Warning
| f = call.getStaticTarget() | ||
| } | ||
|
|
||
| private predicate sdf2(CallExprBase call) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| @@ -24,3 +19,10 @@ | |||
| model = "generated" | |||
| } | |||
| } | |||
|
|
|||
| private predicate sdf(MethodCallExpr c, string s, Addressable a) { | |||
Check warning
Code scanning / CodeQL
Dead code Warning
| @@ -1180,3 +1180,21 @@ | |||
| fileImport(m, f) | |||
| } | |||
| } | |||
|
|
|||
| private predicate sdfs(Impl impl, string s) { | |||
Check warning
Code scanning / CodeQL
Dead code Warning
| s = impl.getSelfTy().(PathTypeRepr).getPath().toStringDebug() | ||
| } | ||
|
|
||
| private predicate sdfs2(Impl impl, RelevantPath path, RelevantPath q, string p, ItemNode i) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| @@ -1017,3 +1017,26 @@ | |||
| * Gets a type that `n` infers to, if any. | |||
| */ | |||
| Type inferType(AstNode n) { result = inferType(n, TypePath::nil()) } | |||
|
|
|||
| /** Provides predicates for debugging the type inference implementation. */ | |||
| private module Debug { | |||
Check warning
Code scanning / CodeQL
Dead code Warning
| /** Provides predicates for debugging the type inference implementation. */ | ||
| private module Debug { | ||
| private Locatable getRelevantLocatable() { | ||
| exists(string filepath, int startline, int startcolumn, int endline, int endcolumn | |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| /** Provides predicates for debugging the type inference implementation. */ | ||
| private module Debug { | ||
| private Locatable getRelevantLocatable() { | ||
| exists(string filepath, int startline, int startcolumn, int endline, int endcolumn | |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| /** Provides predicates for debugging the type inference implementation. */ | ||
| private module Debug { | ||
| private Locatable getRelevantLocatable() { | ||
| exists(string filepath, int startline, int startcolumn, int endline, int endcolumn | |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
No description provided.