Arthur Baars
bc35599f1a
Rust: rename MacroStmts to MacroBlockExpr
2025-05-02 16:23:02 +02:00
Arthur Baars
9ca6706550
Rust: make MacroStmts a CFG Expr
2025-05-02 16:22:59 +02:00
Tom Hvitved
cc85a09b39
Rust: Add AI-generated test for path resolution of where clauses
2025-04-11 09:24:09 +02:00
Simon Friis Vindum
b0c40111e7
Rust: Tweaks to stringification
2025-04-03 12:45:08 +02:00
Tom Hvitved
01810cbac9
Rust: Update PhiDefinition.toString
2025-04-01 14:59:05 +02:00
Simon Friis Vindum
17d6cb626d
Rust: Assume in the CFG that lowercase identifiers are in fact identifiers
2025-03-17 08:40:02 +01:00
Anders Schack-Mulligen
8474a47c2b
Rust: Switch test to use dedicated test module.
2025-03-04 12:24:23 +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
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
4a01a4df37
Rust: Remove nonsensical no-match CFG edges
2025-02-20 10:51:33 +01:00
Tom Hvitved
889ef33006
Rust: Update expected test output
2025-02-20 10:19:41 +01:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +01:00
Simon Friis Vindum
a09b37edc3
Rust: Expand on toString of IdentPat
2025-02-11 15:25:54 +01:00
Anders Schack-Mulligen
34edda6b9b
C#/Ruby/Rust: Deprecate dead code.
2025-02-10 14:24:38 +01:00
Tom Hvitved
8eb5792f3b
Address review comments
2025-01-31 10:10:55 +01:00
Tom Hvitved
1bbb3fde96
Rust: Take nested functions into account when resolving variables
2025-01-15 09:44:53 +01:00
Tom Hvitved
fe216aefc7
Rust: Add tests for nested functions
2025-01-15 09:43:43 +01:00
Tom Hvitved
33e6d6392c
Rust: Avoid location-based variable analysis
2025-01-13 11:08:00 +01:00
Tom Hvitved
d03b284a0a
Rust: Add more variable tests
2025-01-13 10:46:54 +01:00
Tom Hvitved
7376449d38
Rust: Rename variables.rs to main.rs
2025-01-13 10:46:53 +01:00
Simon Friis Vindum
5c64a8c948
Rust: Accept expected changes and fix other CI complaints
2025-01-03 16:38:11 +01:00
Simon Friis Vindum
a28ddd642c
Rust: Add variables example with let statement in macro
2024-12-19 13:12:45 +01:00
Simon Friis Vindum
c1e21974c6
Rust: Address review comments
2024-12-17 17:24:42 +01:00
Simon Friis Vindum
ee87d4c948
Merge branch 'main' into rust-data-flow-models
2024-12-17 13:12:32 +01:00
Michael Nebel
aaf0cd5dee
Merge pull request #17968 from michaelnebel/java/movetestutils
...
Move test utilities to the query pack.
2024-12-16 13:41:30 +01:00
Simon Friis Vindum
aab3428bc7
Rust: Model address-of and dereference as stores and loads
2024-12-16 11:31:15 +01:00
Simon Friis Vindum
0fa40fcdcc
Rust: Fix captured variable data flow inconsistency
2024-12-12 16:28:19 +01:00
Michael Nebel
864c34fc03
Rust: Update all test util paths to point to the new location.
2024-12-12 15:02:59 +01:00
Simon Friis Vindum
16dcc5c278
Rust: Add variable capture consistency query
2024-12-12 11:23:22 +01:00
Simon Friis Vindum
94b037fad1
Rust: Instantiate variable capture library for data flow
2024-12-11 15:44:17 +01:00
Simon Friis Vindum
9b34615a64
Rust: Update test assertions to match results
2024-12-06 19:05:53 +01:00
Simon Friis Vindum
ed68423d6e
Rust: Handle captured self parameter in variable implementation
2024-12-06 14:12:27 +01:00
Simon Friis Vindum
43dd3ebf14
Rust: Add variables test with captured self parameter
2024-12-06 14:07:42 +01:00
Paolo Tranquilli
b59b90ba6d
Rust: accept test changes
2024-12-06 09:12:16 +01:00
Simon Friis Vindum
c62b7d139f
Merge branch 'main' into rust-df-array
2024-12-04 13:55:26 +01:00
Jeroen Ketema
10592bb1c4
Merge pull request #18192 from jketema/inline-rm
...
Remove deprecated `InlineExpectationsTest` class-based API
2024-12-04 11:34:39 +01:00
Paolo Tranquilli
b6f0ae0460
Rust: accept test changes
2024-12-04 11:05:01 +01:00
Jeroen Ketema
e89f37df1a
Rust: Update expected test results
2024-12-03 19:18:52 +01:00
Simon Friis Vindum
cac4514eae
Rust: Add basic data flow through arrays
2024-12-03 14:15:54 +01:00
Simon Friis Vindum
3346b64e96
Rust: Add variables and data flow array tests
2024-12-03 14:14:41 +01:00
Simon Friis Vindum
44b1ad52d9
Rust: Support self parameters in variable and SSA library
2024-11-26 09:02:13 +01:00
Simon Friis Vindum
d06b5833cf
Rust: Add an additional variables test with a self parameter
2024-11-25 16:08:26 +01:00
Paolo Tranquilli
a82d267223
Rust: accept test changes
2024-11-21 16:03:56 +01:00
Paolo Tranquilli
6a6154913b
Merge branch 'main' into redsun82/rust-str
2024-11-21 11:50:38 +01:00
Paolo Tranquilli
d609c1b7e6
Rust: fix OrPat.toString
2024-11-20 17:00:13 +01:00
Paolo Tranquilli
fd45e11f4b
Rust: accept test changes
2024-11-20 16:49:20 +01:00
Simon Friis Vindum
93f6f042e1
Rust: Update expected file
2024-11-20 12:39:31 +01:00
Paolo Tranquilli
57973df795
Rust: make CallExpr.toString use call identifier if present
2024-11-20 10:00:10 +01:00
Paolo Tranquilli
fce13aeb35
Rust: accept test changes
2024-11-19 17:50:14 +01:00
