Paolo Tranquilli
2a81cc9567
Merge branch 'main' into redsun82/rust-analyzer-update
2025-03-26 09:33:38 +01:00
Tom Hvitved
72028c034e
Rust: Add reverse post-update flow steps
2025-03-26 09:03:18 +01:00
Tom Hvitved
fcb1d9433a
Rust: Add more data flow tests
2025-03-26 09:02:23 +01:00
Tom Hvitved
278d251dc1
Merge pull request #19107 from hvitved/rust/mad-argument-source
...
Rust: Support `Argument[x]` MaD source definitions
2025-03-26 09:02:06 +01:00
Geoffrey White
3ad4de400f
Merge pull request #19067 from geoffw0/convtest
...
Rust: Add a couple of test cases for data flow through conversions
2025-03-25 17:44:29 +00:00
Paolo Tranquilli
7cfed3c4a7
Merge branch 'main' into redsun82/rust-analyzer-update
2025-03-25 18:29:39 +01:00
Simon Friis Vindum
efcffc55e3
Merge branch 'main' into rust-ti-refactor
2025-03-25 15:44:39 +01:00
Anders Schack-Mulligen
ae47339d1a
Rust: Accept test changes.
2025-03-25 12:31:05 +01:00
Tom Hvitved
d6d3028e5a
Rust: Support Argument[x] MaD source definitions
2025-03-25 09:08:40 +01:00
Tom Hvitved
cf1b19f7c4
Rust: Add test for MaD argument source
2025-03-25 09:06:56 +01:00
Simon Friis Vindum
06c8963f70
Shared: Infer types for type parameters with contraints
2025-03-25 09:03:44 +01:00
Simon Friis Vindum
831413b5ec
Rust: Expand on type parameter bounds type inference test
2025-03-25 08:41:05 +01:00
Paolo Tranquilli
29b7acfddd
Merge pull request #19101 from github/redsun82/rust-fix-main
...
Rust: accept test changes for now
2025-03-24 16:22:04 +01:00
Tom Hvitved
0f1aee025c
Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate
...
Rust: Path resolution improvements
2025-03-24 14:14:12 +01:00
Paolo Tranquilli
bf32acc198
Rust: accept test changes for now
2025-03-24 13:43:27 +01:00
Geoffrey White
e4cadf09ce
Rust: Don't report excessive results for the same source.
2025-03-24 12:12:42 +00:00
Geoffrey White
b7044bdcde
Rust: Add a test of repeat sinks.
2025-03-24 12:04:43 +00:00
Geoffrey White
f582054ca4
Rust: Refactor the tests that have multiple control flow paths.
2025-03-24 11:56:32 +00:00
Geoffrey White
d1ef2b50fb
Rust: Model futures::executor::block_on.
2025-03-21 16:51:10 +00:00
Paolo Tranquilli
04f9694f89
Rust: drop extraction of anonymous canonical paths
2025-03-21 09:47:02 +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
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
5831c446d3
Rust: Add test cases for another situation I came across.
2025-03-20 14:26:15 +00:00
Geoffrey White
019fcbfbf9
Rust: Add qhelp examples, and add them as tests.
2025-03-20 14:26:13 +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
dcd016f5be
Rust: Initial version of the query.
2025-03-20 14:26:06 +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
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
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
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
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
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
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
Geoffrey White
0f622b38ab
Rust: Update test results.
2025-03-19 18:42:50 +00:00
