Rust: Use the suggested cleaner implementation for getStmtOrExpr.

geoffw0 · geoffw0 · commit 27b6f12b3c04 · 2025-09-26T14:30:31.000+01:00
diff --git a/rust/ql/lib/codeql/rust/elements/internal/StmtListImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/StmtListImpl.qll
@@ -33,7 +33,7 @@ module Impl {
     AstNode getStmtOrExpr(int index) {
       result = this.getStatement(index)
       or
-      index = max(int i | i = -1 or exists(this.getStatement(i))) + 1 and
+      index = this.getNumberOfStatements() and
       result = this.getTailExpr()
     }
 

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ module Impl {`
`33`	`33`	`AstNode getStmtOrExpr(int index) {`
`34`	`34`	`result = this.getStatement(index)`
`35`	`35`	`or`
`36`		`- index = max(int i \| i = -1 or exists(this.getStatement(i))) + 1 and`
	`36`	`+ index = this.getNumberOfStatements() and`
`37`	`37`	`result = this.getTailExpr()`
`38`	`38`	`}`
`39`	`39`