Anders Schack-Mulligen
b1e53f5816
Rust: Accept consistency failure.
2025-03-07 11:11:49 +01:00
Anders Schack-Mulligen
709d36b502
Merge pull request #18869 from aschackmull/ssa/refactor3
...
Ssa: Update qltests including consistency checks
2025-03-05 11:40:27 +01:00
Anders Schack-Mulligen
8474a47c2b
Rust: Switch test to use dedicated test module.
2025-03-04 12:24:23 +01:00
Paolo Tranquilli
2a29239b01
Merge branch 'main' into redsun82/cargo-upgrade
2025-03-04 10:05:41 +01:00
Paolo Tranquilli
9740232df8
Merge branch 'main' into redsun82/cargo-upgrade
2025-03-03 10:15:17 +01:00
Simon Friis Vindum
1225c5c828
Rust: Accept changes
2025-03-03 09:44:24 +01:00
Simon Friis Vindum
d8d882958d
Merge branch 'main' into rust-ref-mut
2025-03-03 09:19:08 +01:00
Simon Friis Vindum
c1ee20b2b9
Rust: Update generated models for Rust built-in libraries
2025-02-28 13:40:43 +01:00
Paolo Tranquilli
6b34d3f480
Rust: add missing empty expected file
2025-02-28 12:26:03 +01:00
Paolo Tranquilli
ee61fdcb6f
Merge branch 'main' into redsun82/rust-turn-off-ra-resolution
2025-02-28 12:03:14 +01:00
Simon Friis Vindum
c4773c42c4
Rust: Model pointer read and write functions
2025-02-28 11:44:11 +01:00
Simon Friis Vindum
bc651af319
Merge branch 'main' into rust-ref-mut
2025-02-28 11:42:06 +01:00
Paolo Tranquilli
e0d4e5ea7f
Rust: remove missing flow in test
2025-02-28 11:36:27 +01:00
Simon Friis Vindum
5b657035d2
Rust: Add test for models of pointer read and write
2025-02-28 11:19:41 +01:00
Simon Friis Vindum
518f164c61
Rust: Address PR comments
2025-02-28 10:49:27 +01:00
Paolo Tranquilli
d11bbdb5a7
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-28 10:41:37 +01:00
Paolo Tranquilli
a444bbc080
Merge branch 'main' into redsun82/rust-turn-off-ra-resolution
2025-02-27 11:11:06 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +01:00
Simon Friis Vindum
51ae7c6b8c
Rust: Reorganize pointers tests and add additional tests
2025-02-26 13:51:55 +01:00
Geoffrey White
0ef4c6f954
Merge branch 'main' into okerr
2025-02-26 12:33:39 +00:00
Paolo Tranquilli
3a67836eb2
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-26 09:58:15 +01:00
Simon Friis Vindum
cc5179a35e
Merge pull request #18787 from paldepind/rust-core-std-models
...
Rust: Add generated models for standard libraries including core
2025-02-26 09:31:16 +01:00
Paolo Tranquilli
2585c2f908
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-25 17:03:25 +01:00
Asger F
ff36d1916f
Merge pull request #18810 from asgerf/js/test-related-locations
...
Test: Add support for RelatedLocation tag and use in a JS query
2025-02-25 16:40:41 +01:00
Simon Friis Vindum
26a96d9f65
Rust: Accept changes
2025-02-25 15:56:10 +01:00
Tom Hvitved
0522f3f694
Merge pull request #18856 from hvitved/rust/inline-expectations-update
...
Rust: Update some inline expectation comments
2025-02-25 15:28:28 +01:00
Simon Friis Vindum
5c997859b0
Merge branch 'main' into rust-core-std-models
2025-02-25 15:07:29 +01:00
Paolo Tranquilli
cbae16b392
Rust: rerun code generation
2025-02-25 13:31:16 +01:00
Geoffrey White
f406914258
Merge pull request #18701 from geoffw0/nth
...
Rust: Test and model some string and iterator methods
2025-02-25 10:42:49 +00:00
Tom Hvitved
b40290683e
Rust: Update some inline expectation comments
2025-02-25 09:34:50 +01:00
Geoffrey White
6437bd692e
Merge pull request #18851 from geoffw0/typo
...
Fix typo in shared DataFlowImplConsistency.qll
2025-02-24 18:45:09 +00:00
Simon Friis Vindum
6353dbf3f5
Merge branch 'main' into rust-core-std-models
2025-02-24 16:05:08 +01:00
Geoffrey White
24411b61e9
Fix typo.
2025-02-24 13:59:22 +00:00
Paolo Tranquilli
d8dad7dff0
Merge branch 'main' into redsun82/rust-trait-path
2025-02-24 14:12:53 +01:00
Tom Hvitved
425fa0db09
Merge pull request #18823 from hvitved/rust/path-resolution-more
...
Rust: More path resolution improvements
2025-02-24 12:46:07 +01:00
Geoffrey White
6cb8f65076
Rust: Fix up .expected after merge.
2025-02-24 10:58:19 +00:00
Geoffrey White
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00:00
Paolo Tranquilli
1bce783623
Rust: accept test changes for now
2025-02-24 11:30:58 +01:00
Paolo Tranquilli
689e7b8440
Rust: fix <X as Y> path extraction
...
This works around a quirk in rust-analyzer's AST generation machinery,
where for an `<X as Y>` path there might be no way to directly get `Y`
from the path segment.
2025-02-24 10:38:15 +01:00
Asger F
cd0fd02e74
Rust: Remove 'Source' annotations from same line as Alert
...
Source tags should no longer be used when on the same line as the Alert.
The ones in this file went unnoticed however because *all* of them were on the same line as an Alert, which made the test library ignore all Source tags.
2025-02-21 14:44:48 +01:00
Simon Friis Vindum
e6e4ff1b72
Rust: Accept changes to expected files
2025-02-21 13:24:06 +01:00
Simon Friis Vindum
0f627ae59a
Merge branch 'main' into rust-fewer-no-match
2025-02-21 13:20:50 +01:00
Simon Friis Vindum
df2a110b41
Rust: Changes based on PR comments
2025-02-21 11:15:54 +01:00
Simon Friis Vindum
65bce9d7e0
Rust: Add CFG test with tuple struct pattern
2025-02-21 10:59:21 +01:00
Simon Friis Vindum
cd49df0ff2
Merge pull request #18784 from paldepind/rust-generate-sources-sinks
...
Rust: Generate sources and sinks
2025-02-20 15:59:58 +01:00
Tom Hvitved
496f485375
Rust: Path resolution for bounded type parameters
2025-02-20 13:57:11 +01:00
Tom Hvitved
8f0aced868
Rust: Path resolution for trait items with default implementations
2025-02-20 13:56:19 +01:00
Tom Hvitved
1be903cb4f
Rust: Add more path resolution tests
2025-02-20 12:04:20 +01:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Simon Friis Vindum
4a01a4df37
Rust: Remove nonsensical no-match CFG edges
2025-02-20 10:51:33 +01:00
