hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: fix ArrayRepeatExpr control flow

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-06-17 11:48:29 +02:00
parent 6ec89c1ba1
commit 69cdef7797
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -204,10 +204,18 @@ class TypeReprTree extends LeafTree instanceof TypeRepr { }
* `LetExpr`s.
*/
module ExprTrees {
class ArrayExprTree extends StandardPostOrderTree, ArrayExpr {
class ArrayListExprTree extends StandardPostOrderTree, ArrayListExpr {
override AstNode getChildNode(int i) { result = this.getExpr(i) }
}
class ArrayRepeatExprTree extends StandardPostOrderTree, ArrayRepeatExpr {
override AstNode getChildNode(int i) {
i = 0 and result = this.getRepeatOperand()
or
i = 1 and result = this.getRepeatLength()
}
}
class AsmExprTree extends LeafTree instanceof AsmExpr { }
class AwaitExprTree extends StandardPostOrderTree instanceof AwaitExpr {