hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Codegen.

Browse Source
This commit is contained in:
Geoffrey White
2025-08-27 16:51:31 +01:00
parent 2e747bb05c
commit 83df1137b6
2 changed files with 3 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rust/ql/.generated.list generated
View File

@@ -587,11 +587,7 @@ lib/codeql/rust/elements/internal/generated/PtrTypeRepr.qll 8d0ea4f6c7f8203340bf
lib/codeql/rust/elements/internal/generated/PureSynthConstructors.qll e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f
lib/codeql/rust/elements/internal/generated/RangeExpr.qll 23cca03bf43535f33b22a38894f70d669787be4e4f5b8fe5c8f7b964d30e9027 18624cef6c6b679eeace2a98737e472432e0ead354cca02192b4d45330f047c9
lib/codeql/rust/elements/internal/generated/RangePat.qll 80826a6a6868a803aa2372e31c52a03e1811a3f1f2abdb469f91ca0bfdd9ecb6 34ee1e208c1690cba505dff2c588837c0cd91e185e2a87d1fe673191962276a9
<<<<<<< HEAD
lib/codeql/rust/elements/internal/generated/Raw.qll 53fc373ce72ac66e58c68f27e90f627f190590d226602f55b38827422aa1c78a 958aaf7f788fe126de27610203a87cf9fdd8a02f2d2e2dd77e69a7b8fef5db55
=======
lib/codeql/rust/elements/internal/generated/Raw.qll b32f6737ca918cf003f294cc809546e3e89fa9f91666b20aab8acaa6fb986094 aeecf005da2fcfcc6e143c7970866f476f3b146632ed6bb36ccb5db19570c11b
>>>>>>> main
lib/codeql/rust/elements/internal/generated/Raw.qll ae8ebdaa26dc2dfbcc8d64c9c7b296de2e0e78086ce7545cbedfa1f560ef2ffa 6a78058f346e34a2da4dd984f76bf848d7d6708d4c0a35151303748cb0ea92fa
lib/codeql/rust/elements/internal/generated/RefExpr.qll 7d995884e3dc1c25fc719f5d7253179344d63650e217e9ff6530285fe7a57f64 f2c3c12551deea4964b66553fb9b6423ee16fec53bd63db4796191aa60dc6c66
lib/codeql/rust/elements/internal/generated/RefPat.qll 456ede39837463ee22a630ec7ab6c8630d3664a8ea206fcc6e4f199e92fa564c 5622062765f32930465ba6b170e986706f159f6070f48adee3c20e24e8df4e05
lib/codeql/rust/elements/internal/generated/RefTypeRepr.qll 5b0663a6d234572fb3e467e276d019415caa95ef006438cc59b7af4e1783161e 0e27c8a8f0e323c0e4d6db01fca821bf07c0864d293cdf96fa891b10820c1e4b

61
rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll generated
View File

@@ -3265,8 +3265,8 @@ module Raw {
* ```rust
* let first = Foo { a: 1, b: 2 };
* let second = Foo { a: 2, ..first };
* Foo { a: 1, b: 2 }[2] = 10;
* Foo { .. } = second;
* let n = Foo { a: 1, b: 2 }.b;
* Foo { a: m, .. } = second;
* ```
*/
class StructExpr extends @struct_expr, Expr, PathAstNode {
@@ -4055,63 +4055,6 @@ module Raw {
/**
* INTERNAL: Do not use.
<<<<<<< HEAD
=======
* A path pattern. For example:
* ```rust
* match x {
* Foo::Bar => "ok",
* _ => "fail",
* }
* ```
*/
class PathPat extends @path_pat, Pat, PathAstNode {
override string toString() { result = "PathPat" }
}
/**
* INTERNAL: Do not use.
* A struct expression. For example:
* ```rust
* let first = Foo { a: 1, b: 2 };
* let second = Foo { a: 2, ..first };
* let n = Foo { a: 1, b: 2 }.b;
* Foo { a: m, .. } = second;
* ```
*/
class StructExpr extends @struct_expr, Expr, PathAstNode {
override string toString() { result = "StructExpr" }
/**
* Gets the struct expression field list of this struct expression, if it exists.
*/
StructExprFieldList getStructExprFieldList() {
struct_expr_struct_expr_field_lists(this, result)
}
}
/**
* INTERNAL: Do not use.
* A struct pattern. For example:
* ```rust
* match x {
* Foo { a: 1, b: 2 } => "ok",
* Foo { .. } => "fail",
* }
* ```
*/
class StructPat extends @struct_pat, Pat, PathAstNode {
override string toString() { result = "StructPat" }
/**
* Gets the struct pattern field list of this struct pattern, if it exists.
*/
StructPatFieldList getStructPatFieldList() { struct_pat_struct_pat_field_lists(this, result) }
}
/**
* INTERNAL: Do not use.
>>>>>>> main
* A Trait. For example:
* ```
* trait Frobinizable {