Skip to content

Commit 2a88086

Browse files
committed
Rust: AST: add docs with examples for qltest
1 parent 9250c29 commit 2a88086

284 files changed

Lines changed: 3074 additions & 119 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

rust/extractor/src/translate.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -387,7 +387,10 @@ impl CrateTranslator<'_> {
387387
}
388388
}
389389
fn emit_type_ref(&mut self, _type_ref: &TypeRef) -> trap::Label {
390-
self.emit_unimplemented(None)
390+
self.trap.emit(generated::TypeRef {
391+
id: TrapId::Star,
392+
location: None,
393+
})
391394
}
392395
fn emit_match_arm(
393396
&mut self,

rust/ql/.generated.list

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

rust/ql/.gitattributes

Lines changed: 75 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/ArrayExpr.qll

Lines changed: 7 additions & 0 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/AsyncBlockExpr.qll

Lines changed: 9 additions & 0 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/AwaitExpr.qll

Lines changed: 9 additions & 0 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/BecomeExpr.qll

Lines changed: 11 additions & 0 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/BinaryOpExpr.qll

Lines changed: 10 additions & 0 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/BlockExpr.qll

Lines changed: 14 additions & 0 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/BoxExpr.qll

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

0 commit comments

Comments
 (0)