Paolo Tranquilli
fe7e1c0a6c
Rust: solve all compilation errors but the ones related to the crate graph
2025-03-20 17:49:35 +01:00
Paolo Tranquilli
7cf3cac24a
Rust: reinstate Variant as Addressable
2025-03-20 16:55:37 +01:00
Geoffrey White
91d273ad76
Rust: I think these generated models are correct. Accept them.
2025-03-20 15:52:08 +00:00
Paolo Tranquilli
ea11b08f28
Rust: rerun code generation
2025-03-20 16:51:35 +01:00
Paolo Tranquilli
13370200cc
Cargo: upgrade dependencies
2025-03-20 16:48:29 +01:00
Geoffrey White
98690f924a
Rust: Incidental changes to other .expected files.
2025-03-20 15:39:03 +00:00
Simon Friis Vindum
b2fc4f80fb
Rust: Adjustments to type inference
2025-03-20 16:38:06 +01:00
Paolo Tranquilli
12214b65a4
Rust: add forgotten expected file
2025-03-20 16:35:56 +01:00
Arthur Baars
b10a296a93
Rust: add more path-injection sinks
2025-03-20 16:30:47 +01:00
Paolo Tranquilli
b48d9a255e
Rust: undo rename of Path::segment to Path::part
2025-03-20 16:30:35 +01:00
Geoffrey White
c6c4e3cf16
Rust: Add another reference.
2025-03-20 15:16:17 +00:00
Geoffrey White
5e18e1be11
Rust: Autofix and US spelling.
2025-03-20 15:03:55 +00:00
Paolo Tranquilli
cd15fb3611
Merge pull request #19071 from github/redsun82/codegen-rust-ancestor-order
...
Rust: preserve ordering in rust generated code
2025-03-20 15:50:48 +01:00
Geoffrey White
5831c446d3
Rust: Add test cases for another situation I came across.
2025-03-20 14:26:15 +00:00
Geoffrey White
7ecba71166
Rust: Add .qhelp.
2025-03-20 14:26:14 +00:00
Geoffrey White
019fcbfbf9
Rust: Add qhelp examples, and add them as tests.
2025-03-20 14:26:13 +00:00
Geoffrey White
671f7dff94
Rust: Query metadata.
2025-03-20 14:26:11 +00:00
Geoffrey White
7ceb76441a
Rust: Improve the source to account for conversions.
2025-03-20 14:26:10 +00:00
Geoffrey White
be6d0d1f86
Rust: Work around data flow source issue.
2025-03-20 14:26:09 +00:00
Geoffrey White
c2ee4211e5
Rust: Add more models.
2025-03-20 14:26:08 +00:00
Geoffrey White
dcd016f5be
Rust: Initial version of the query.
2025-03-20 14:26:06 +00:00
Geoffrey White
a139b3734c
Rust: Split lang-core.model.yml into lang-core and lang-alloc.
2025-03-20 14:26:05 +00:00
Geoffrey White
19f009ae08
Rust: Add tests for various kinds of dangling pointers.
2025-03-20 14:26:04 +00:00
Simon Friis Vindum
659077769b
Merge pull request #19062 from paldepind/rust-ti-1
...
Rust: Improve handling of trait bounds
2025-03-20 14:38:03 +01:00
Tom Hvitved
3142dbb040
Rust: Rework visibility handling in path resolution
2025-03-20 14:14:53 +01:00
Tom Hvitved
b2fc7e771f
Rust: Handle super in use statements
2025-03-20 14:14:33 +01:00
Tom Hvitved
57dfbf4faa
Rust: Add path resolution test for super in use statement
2025-03-20 14:14:29 +01:00
Tom Hvitved
8044b0d03c
Rust: Exclude macro call paths from resolvePath
2025-03-20 14:13:13 +01:00
Tom Hvitved
7c2bafeb17
Rust: Handle self in use statements
2025-03-20 14:13:12 +01:00
Tom Hvitved
8f8f6f74bc
Rust: Add use+self path resolution test
2025-03-20 14:13:11 +01:00
Tom Hvitved
c91176116f
Rust: Cross-crate path resolution
2025-03-20 14:13:06 +01:00
Tom Hvitved
bd4c85a5bc
Rust: Add cross-crate path resolution test
2025-03-20 13:50:20 +01:00
Tom Hvitved
c5106f78ac
Rust: Handle pub use reexports in path resolution
2025-03-20 13:50:18 +01:00
Tom Hvitved
6cf83d3a68
Rust: Add path resolution test for reexported items
2025-03-20 13:50:16 +01:00
Tom Hvitved
92528f2b49
Rust: Add debug predicate
2025-03-20 13:50:15 +01:00
Paolo Tranquilli
e2d6643600
Merge pull request #19072 from github/redsun82/rust-fix-canonical-paths-after-rename
...
Rust: fix canonical paths broken on `StructExpr` and `StructPath`
2025-03-20 13:40:24 +01:00
Paolo Tranquilli
e9b931e2aa
Merge branch 'main' into redsun82/codegen-rust-ancestor-order
2025-03-20 13:13:10 +01:00
Arthur Baars
efedfa1fe2
Rust: move optionalStep/Barrier predicates into Cached module
2025-03-20 13:10:38 +01:00
Tom Hvitved
9b58da7e84
Merge pull request #19057 from hvitved/rust/dependency-renaming
...
Rust: Take dependency renaming into account when extracting the crate graph
2025-03-20 12:51:24 +01:00
Chris Smowton
d362c030b7
Merge pull request #19065 from smowton/smowton/admin/merge-rc317-into-main
...
Merge rc/3.17 into main
2025-03-20 11:31:03 +00:00
Paolo Tranquilli
b77c13802b
Rust: fix canonical paths broken on StructExpr and StructPath
...
After the rename done in https://github.com/github/codeql/pull/19059 ,
canonical path extraction was lost on `StructExpr` and `StructPath` as
the identifiers used for the type in the `emit_detached!` macro were not
updated. This fixes that.
2025-03-20 12:16:47 +01:00
Arthur Baars
f5fe531ab6
Rust: remove Stage::ref() trick
2025-03-20 12:15:41 +01:00
Paolo Tranquilli
4110636032
Rust: preserve ordering in rust generated code
...
This is a small devex improvement to the rust code generator.
Usage of `sorted` in `rustgen.py` was causing the generated code to be
completely reshuffled on renames, which made diffs hard to follow. As an
example see [this generated file diff](https://github.com/github/codeql/pull/19059/files#diff-c938ba77a3398dd4c633ada5702a03477705c24740a2f7d1e40d4b270d8c3f86 ).
This will make the order deterministically based on the order of
definitions in the schema file. This means that renames will find the
same place in the generated file, and the place in the generated file
will generally be more predictable with respect to the schema.
However, that does mean this change is heavily reshuffling the generated
code.
2025-03-20 12:12:52 +01:00
Simon Friis Vindum
b02a249fbd
Merge branch 'main' into rust-ti-1
2025-03-20 11:49:58 +01:00
Tom Hvitved
cbb9987a20
Merge remote-tracking branch 'upstream/main' into rust/dependency-renaming
2025-03-20 11:45:03 +01:00
Tom Hvitved
d19188db8f
Address review comment
2025-03-20 11:39:52 +01:00
Arthur Baars
2804c13027
Rust: use optionalBarrier
2025-03-20 11:37:05 +01:00
Arthur Baars
5a91b94395
Refactor using OptionalStep
2025-03-20 11:37:04 +01:00
Arthur Baars
d3e28772ae
Rust/Python improve qldoc of SafeAccessCheck
2025-03-20 11:16:45 +01:00
Geoffrey White
0f622b38ab
Rust: Update test results.
2025-03-19 18:42:50 +00:00
