Merge pull request #17617 from hvitved/rust/extraction-consistency

Rust: Add extraction error consistency query
github · Sep 30, 2024 · 4513643 · 4513643
2 parents a017f92 + 3e77dd8
commit 4513643
Show file tree

Hide file tree

Showing 24 changed files with 172 additions and 160 deletions.
diff --git a/rust/ql/.generated.list b/rust/ql/.generated.list
diff --git a/rust/ql/consistency-queries/ExtractionConsistency.ql b/rust/ql/consistency-queries/ExtractionConsistency.ql
@@ -0,0 +1,3 @@
+import codeql.rust.Diagnostics
+
+query predicate extractionError(ExtractionError ee) { any() }
diff --git a/rust/ql/lib/codeql/rust/elements/ExprStmt.qll b/rust/ql/lib/codeql/rust/elements/ExprStmt.qll
diff --git a/rust/ql/lib/codeql/rust/elements/IfExpr.qll b/rust/ql/lib/codeql/rust/elements/IfExpr.qll
diff --git a/rust/ql/lib/codeql/rust/elements/PrefixExpr.qll b/rust/ql/lib/codeql/rust/elements/PrefixExpr.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/ExprStmtImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/ExprStmtImpl.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/IfExprImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/IfExprImpl.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/PrefixExprImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/PrefixExprImpl.qll
@@ -15,9 +15,9 @@ module Impl {
   /**
    * A unary operation expression. For example:
    * ```rust
-   * let x = -42
-   * let y = !true
-   * let z = *ptr
+   * let x = -42;
+   * let y = !true;
+   * let z = *ptr;
    * ```
    */
   class PrefixExpr extends Generated::PrefixExpr {

diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/ExprStmt.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/ExprStmt.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/IfExpr.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/IfExpr.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/PrefixExpr.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/PrefixExpr.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		import codeql.rust.Diagnostics

		query predicate extractionError(ExtractionError ee) { any() }