hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #21495 from hvitved/rust/fix-bad-joins

Browse Source 
Rust: Fix two bad joins
This commit is contained in:
Tom Hvitved
2026-03-19 09:53:22 +01:00
committed by GitHub
parent 518d170acd 2ff5c2c234
commit 3fad6bdc0c
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -3040,7 +3040,9 @@ private module ConstructionMatchingInput implements MatchingInputSig {
override AstNode getNodeAt(AccessPosition apos) {
result =
this.getFieldExpr(this.getNthStructField(apos.asPosition()).getName().getText()).getExpr()
this.getFieldExpr(pragma[only_bind_into](this.getNthStructField(apos.asPosition())
.getName()
.getText())).getExpr()
or
result = this and apos.isReturn()
}
@@ -3573,7 +3575,9 @@ private module DeconstructionPatMatchingInput implements MatchingInputSig {
this =
any(StructPat sp |
result =
sp.getPatField(sp.getNthStructField(apos.asPosition()).getName().getText()).getPat()
sp.getPatField(pragma[only_bind_into](sp.getNthStructField(apos.asPosition())
.getName()
.getText())).getPat()
)
or
result = this.(TupleStructPat).getField(apos.asPosition())