hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Replace getBlockChildNode with uses of getStmtOrExpr.

Browse Source
This commit is contained in:
Geoffrey White
2025-09-26 14:32:05 +01:00
parent 27b6f12b3c
commit 4570d7e46e
1 changed files with 2 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
rust/ql/lib/codeql/rust/controlflow/internal/ControlFlowGraphImpl.qll
View File

@@ -266,15 +266,8 @@ module ExprTrees {
}
}
private AstNode getBlockChildNode(BlockExpr b, int i) {
result = b.getStmtList().getStatement(i)
or
i = b.getStmtList().getNumberOfStatements() and
result = b.getStmtList().getTailExpr()
}
class AsyncBlockExprTree extends StandardTree, PreOrderTree, PostOrderTree, AsyncBlockExpr {
override AstNode getChildNode(int i) { result = getBlockChildNode(this, i) }
override AstNode getChildNode(int i) { result = this.getStmtList().getStmtOrExpr(i) }
override predicate propagatesAbnormal(AstNode child) { none() }
}
@@ -282,7 +275,7 @@ module ExprTrees {
class BlockExprTree extends StandardPostOrderTree, BlockExpr {
BlockExprTree() { not this.isAsync() }
override AstNode getChildNode(int i) { result = getBlockChildNode(this, i) }
override AstNode getChildNode(int i) { result = this.getStmtList().getStmtOrExpr(i) }
override predicate propagatesAbnormal(AstNode child) { child = this.getChildNode(_) }
}