Anders Schack-Mulligen
|
56c46d74f9
|
Java/Rust/Swift: Accept qltest changes.
|
2025-03-31 11:44:37 +02:00 |
|
Anders Schack-Mulligen
|
a8b19d2b21
|
Merge pull request #19147 from aschackmull/ssa/writedef-source-refactor
Ssa: Refactor data flow integration to make the input signature simpler
|
2025-03-31 10:07:09 +02:00 |
|
Arthur Baars
|
ec9fe8079e
|
Rust: add tests for re-export statements
|
2025-03-28 17:12:43 +01:00 |
|
Arthur Baars
|
d84baaa0f8
|
Rust: implement Use::toString
|
2025-03-28 17:12:42 +01:00 |
|
Arthur Baars
|
c135af2300
|
Rust: crate_graph: generate 'use' statements for re-exported items
|
2025-03-28 17:12:32 +01:00 |
|
Geoffrey White
|
4a76b5b3db
|
Rust: Accept consistency check failures.
|
2025-03-28 15:40:18 +00:00 |
|
Tom Hvitved
|
605cf35970
|
Rust: More path resolution improvements
|
2025-03-28 15:32:20 +01:00 |
|
Paolo Tranquilli
|
01a69bffbe
|
Merge branch 'main' into redsun82/codegen-rename-dbscheme
|
2025-03-28 15:06:08 +01:00 |
|
Paolo Tranquilli
|
96f7dc7eb4
|
Merge pull request #19083 from github/redsun82/rust-analyzer-update
Rust: update rust-analyzer from `0.0.266` to `0.0.270`
|
2025-03-28 15:04:09 +01:00 |
|
Simon Friis Vindum
|
884c828452
|
Merge pull request #19102 from paldepind/rust-ti-refactor
Shared, type inference: Add inference for type parameters with constraints (base type mentions)
|
2025-03-28 13:58:16 +01:00 |
|
Geoffrey White
|
ed14b37964
|
Merge branch 'main' into deallocation
|
2025-03-28 12:44:46 +00:00 |
|
Paolo Tranquilli
|
76b1349068
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-28 13:36:48 +01:00 |
|
Geoffrey White
|
ce7a0fd094
|
Rust: Test for sinks inside sources.
|
2025-03-28 11:12:10 +00:00 |
|
Anders Schack-Mulligen
|
5a986f5327
|
SSA: Remove empty predicates and dead code.
|
2025-03-28 12:00:38 +01:00 |
|
Anders Schack-Mulligen
|
8aedd63b9e
|
Rust: Add ssaDefHasSource.
|
2025-03-28 11:57:28 +01:00 |
|
Anders Schack-Mulligen
|
dafed9f465
|
Rust: Remove dead code.
|
2025-03-28 11:57:27 +01:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Tom Hvitved
|
f2f5739cc7
|
Merge pull request #19123 from hvitved/rust/path-resolution-crate-non-source
Rust: Also resolve `crate` paths in non-source files
|
2025-03-28 11:45:36 +01:00 |
|
Arthur Baars
|
7fc7b7cc04
|
Rust: fix CleartextLogging query
|
2025-03-27 18:38:57 +00:00 |
|
Arthur Baars
|
6dff6826f0
|
Revert "Rust: accept test changes for now"
This reverts commit bf32acc198.
|
2025-03-27 18:33:00 +00:00 |
|
Tom Hvitved
|
f6ac82aff0
|
Rust: Add more path resolution tests
|
2025-03-27 15:54:57 +01:00 |
|
Paolo Tranquilli
|
cf63dae608
|
Merge branch 'main' into redsun82/codegen-rename-dbscheme
|
2025-03-27 15:12:16 +01:00 |
|
Geoffrey White
|
9ae271a7d1
|
Rust: Fix incidentally affected test merge conflict.
|
2025-03-27 12:55:36 +00:00 |
|
Geoffrey White
|
4e496fe7b2
|
Rust: Lets just not model 'drop' incorrectly, for now.
|
2025-03-27 12:25:08 +00:00 |
|
Simon Friis Vindum
|
533fdcf332
|
Rust: Remove unnecessary seperator
|
2025-03-27 12:56:54 +01:00 |
|
Simon Friis Vindum
|
0d75054955
|
Rust: Implement toString on type aliases and add docs
|
2025-03-27 11:34:39 +01:00 |
|
Geoffrey White
|
8598d619f2
|
Rust: Add a test case involving a Drop method.
|
2025-03-27 09:39:25 +00:00 |
|
Arthur Baars
|
9dd7b20db7
|
Merge pull request #18960 from github/aibaars/rust-tainted-path
Rust: TaintedPath query
|
2025-03-27 10:37:36 +01:00 |
|
Geoffrey White
|
d1a0237e87
|
Rust: Correct a few details in the test.
|
2025-03-27 09:20:25 +00:00 |
|
Tamas Vajk
|
34e8318797
|
Rename the CCR query suite to code-quality
|
2025-03-27 08:36:53 +01:00 |
|
Geoffrey White
|
c84e2cd7cb
|
Rust: Reduce the workaround (fixes duplicate results).
|
2025-03-26 15:40:45 +00:00 |
|
Geoffrey White
|
0a04191a61
|
Rust: Effect of merging main (duplicate results).
|
2025-03-26 15:06:03 +00:00 |
|
Geoffrey White
|
56f330d545
|
Merge branch 'main' into deallocation
|
2025-03-26 14:58:32 +00:00 |
|
Arthur Baars
|
bf76505880
|
Rust: address comments
|
2025-03-26 13:28:44 +01:00 |
|
Tom Hvitved
|
284df7fcf3
|
Rust: Also resolve crate paths in non-source files
|
2025-03-26 11:29:34 +01:00 |
|
Paolo Tranquilli
|
2a81cc9567
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-26 09:33:38 +01:00 |
|
Tom Hvitved
|
f45eca77fa
|
Address review comments
|
2025-03-26 09:03:22 +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 |
|
Tom Hvitved
|
b4926475d3
|
Address review comment
|
2025-03-26 08:44:03 +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
|
d5d0274ce7
|
Java/SSA: Keep proper distinction between cached stages.
|
2025-03-25 13:43:55 +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 |
|