Skip to content

Commit 4513643

Browse files
authored
Merge pull request github#17617 from hvitved/rust/extraction-consistency
Rust: Add extraction error consistency query
2 parents a017f92 + 3e77dd8 commit 4513643

File tree

24 files changed

+172
-160
lines changed

24 files changed

+172
-160
lines changed

rust/ql/.generated.list

Lines changed: 9 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
import codeql.rust.Diagnostics
2+
3+
query predicate extractionError(ExtractionError ee) { any() }

rust/ql/lib/codeql/rust/elements/ExprStmt.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/IfExpr.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/PrefixExpr.qll

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/internal/ExprStmtImpl.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/internal/IfExprImpl.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/internal/PrefixExprImpl.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ module Impl {
1515
/**
1616
* A unary operation expression. For example:
1717
* ```rust
18-
* let x = -42
19-
* let y = !true
20-
* let z = *ptr
18+
* let x = -42;
19+
* let y = !true;
20+
* let z = *ptr;
2121
* ```
2222
*/
2323
class PrefixExpr extends Generated::PrefixExpr {

rust/ql/lib/codeql/rust/elements/internal/generated/ExprStmt.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/internal/generated/IfExpr.qll

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)