Rust: Fix capturedCallRead

This commit is contained in:
Tom Hvitved
2025-04-01 15:01:58 +02:00
parent 9dea9f5046
commit dcaeeabad8
2 changed files with 1 additions and 5 deletions

View File

@@ -189,7 +189,7 @@ private predicate capturedCallRead(Expr call, BasicBlock bb, int i, Variable v)
hasCapturedRead(pragma[only_bind_into](v), pragma[only_bind_into](scope)) and
(
variableWriteInOuterScope(bb, any(int j | j < i), v, scope) or
variableWriteInOuterScope(bb.getAPredecessor+(), _, v, scope)
variableWriteInOuterScope(bb.getImmediateDominator+(), _, v, scope)
) and
call = bb.getNode(i).getAstNode()
)

View File

@@ -1,4 +0,0 @@
uselessPhiNode
| sqlx.rs:155:5:157:5 | SSA phi(arg0) | 1 |
phiWithoutTwoPriorRefs
| sqlx.rs:155:5:157:5 | SSA phi(arg0) | sqlx.rs:155:5:157:5 | if enable_remote {...} | sqlx.rs:156:17:156:86 | arg0 | 1 |