Geoffrey White
47a4ba33a4
Rust: Fix typo in models (also fixed in another open PR).
2025-07-09 16:00:35 +01:00
Geoffrey White
a034e29040
Rust: Simplify the test a little.
2025-07-09 15:52:54 +01:00
Geoffrey White
097ac69207
Rust: Current sources test regressions.
2025-07-09 15:52:19 +01:00
Geoffrey White
4281fe74bd
Rust: We don't really need the split into two test cases any more.
2025-07-09 15:22:04 +01:00
Geoffrey White
4397863586
Rust: Update after merge with main.
2025-07-09 15:17:31 +01:00
Geoffrey White
597f678978
Merge branch 'main' into models1
2025-07-09 14:48:32 +01:00
Geoffrey White
3bb3fccfdb
Rust: Accept consistency check changes.
2025-07-09 12:02:30 +01:00
Geoffrey White
22aa7f378a
Rust: Expand the test cases around IDs as sensitive data.
2025-07-09 11:33:47 +01:00
Geoffrey White
1124355cdb
Rust: Add a test case for 'from_trusted_iterator' as sensitive data FP.
2025-07-09 11:26:59 +01:00
Arthur Baars
5b7485d11d
Rust: add testcase for impl trait on i32
2025-07-08 21:36:37 +02:00
Geoffrey White
b1d5b8175c
Rust: Add the original test back as well.
2025-07-08 15:10:55 +01:00
Geoffrey White
d19259e6bb
Update rust/ql/test/library-tests/frameworks/postgres/main.rs
...
Co-authored-by: Arthur Baars <aibaars@github.com >
2025-07-08 15:03:44 +01:00
Geoffrey White
f3b5cc79ff
Merge branch 'main' into sqlx
2025-07-08 13:58:19 +01:00
Tom Hvitved
2a207f9f6f
Rust: Update inline expectations
2025-07-08 13:03:16 +02:00
Tom Hvitved
73f854f073
Rust: Adjust the inferred type of string literals
2025-07-08 13:03:12 +02:00
Geoffrey White
3dabd51cf7
Rust: Fix a summaryModelDeprecated that was causing problems.
2025-07-08 11:24:57 +01:00
Tom Hvitved
7701a31f4a
Rust: Improve type inference for for loops and range expressions
2025-07-08 11:20:42 +02:00
Geoffrey White
f57d691424
Rust: Fix typo in model.
2025-07-08 09:51:20 +01:00
Geoffrey White
c7de873a22
Rust: Update the libc models.
2025-07-08 08:44:44 +01:00
Geoffrey White
a1e9a4eddf
Rust: Accept test .expected changes.
2025-07-08 08:44:24 +01:00
Tom Hvitved
33e63109bb
Merge pull request #19993 from hvitved/rust/type-inference-function-call-expectations
...
Rust: Add type inference inline expectations for all function calls
2025-07-07 20:40:57 +02:00
Arthur Baars
8114071804
Merge branch 'main' into models1
2025-07-07 19:47:53 +02:00
Arthur Baars
7721d14314
Rust: use getADescendant instead of getAnItem
...
This should handle all cases where items contained in intermediate nodes, such as MacroCall,
ExternBlock and MacroItem nodes.
2025-07-07 18:04:00 +02:00
Arthur Baars
7556d7b57b
Rust: add test with extern block
2025-07-07 18:02:58 +02:00
Tom Hvitved
fad5e0daa8
Rust: Add type inference inline expectations for all function calls
2025-07-07 17:20:15 +02:00
Tom Hvitved
6a9ed88d6e
Merge pull request #19975 from hvitved/rust/ssa-phi-in-capture
...
Rust: Fix SSA inconsistencies
2025-07-07 09:21:57 +02:00
Tom Hvitved
d1dd05e7bb
Rust: Fix SSA inconsistencies
2025-07-04 14:43:10 +02:00
Arthur Baars
3d435ddca0
Merge branch 'main' into rust/type-inference-explicit-args
2025-07-04 14:17:52 +02:00
Tom Hvitved
2b2bd17d10
Rust: Add more SSA tests
2025-07-04 10:47:56 +02:00
Geoffrey White
831509539b
Merge pull request #19934 from geoffw0/models0
...
Rust: Update legacy MaD models 1
2025-07-03 14:24:21 +01:00
Tom Hvitved
2924faf7f8
Rust: Tweak illFormedTypeMention consistency check
2025-07-03 11:56:16 +02:00
Paolo Tranquilli
c10d89927d
Merge pull request #19945 from github/redsun82/fix-expansion-in-lib
...
Rust: fix macro expansion in library code
2025-07-02 18:11:36 +02:00
Paolo Tranquilli
c70198e4e4
Rust: change dummy macro call expansion
2025-07-02 12:25:10 +02:00
Tom Hvitved
f7195f04f8
Rust: Handle more explicit type arguments in type inference
2025-07-02 11:37:05 +02:00
Tom Hvitved
b6d5225bf5
Rust: Add more type inference tests
2025-07-02 11:37:03 +02:00
Paolo Tranquilli
63ccbec933
Rust: accept language test changes
2025-07-02 10:19:52 +02:00
Geoffrey White
3e11dbded0
Rust: Accept test changes.
2025-07-02 09:08:15 +01:00
Paolo Tranquilli
223f0c8684
Rust: fix macro expansion in library code
...
There was a mismatch between a `self.macro_context_level += 1` and the
corresponding `self.macro_context_level -= 1`, which resulted in an
`usize` underflow (panic in debug mode, wrong behaviour in release
mode).
This fixes it and adds a relevant assertion and test. In order to
properly test library mode extraction, a special option enforcing that
on source code as well is added.
2025-07-01 17:31:26 +02:00
Tom Hvitved
add2e0fd9d
Rust: Extend methodResolutionDependsOnArgument to parameterized implementations
2025-07-01 14:22:06 +02:00
Tom Hvitved
961e6201ea
Rust: Add more type inference tests
2025-07-01 14:22:04 +02:00
Tom Hvitved
b813010b75
Merge pull request #19903 from hvitved/rust/type-inference-overlap2
...
Rust: Apply inherent method prioritization inside type inference loop
2025-07-01 14:21:15 +02:00
Tom Hvitved
072339137a
Rust: Update expected test output
2025-07-01 10:34:16 +02:00
Tom Hvitved
bd1f46b75c
Rust: Assume prelude is always available in path resolution
2025-07-01 10:18:02 +02:00
Tom Hvitved
e88d7baa7d
Rust: Apply inherent method prioritization inside type inference loop
2025-07-01 10:17:26 +02:00
Tom Hvitved
e5f0ef6ae8
Rust: Add more type inference tests
2025-07-01 10:17:25 +02:00
Geoffrey White
59b74871c2
Rust: Accept regressions.
2025-06-30 21:13:44 +01:00
Geoffrey White
91072477b7
Rust: Trivial test changes.
2025-06-30 20:15:18 +01:00
Paolo Tranquilli
15aa0bbb34
Merge pull request #19866 from github/redsun82/codegen-new-parent-child
...
Codegen: improve implementation of generated parent/child relationship
2025-06-30 14:52:24 +02:00
Tom Hvitved
57661df306
Rust: Fix variable capture inconsistencies
2025-06-30 10:19:42 +02:00
Paolo Tranquilli
9cf037fdb9
Merge branch 'main' into redsun82/codegen-new-parent-child
2025-06-30 10:17:56 +02:00
