Geoffrey White
|
e2f63db96d
|
Merge branch 'main' into badalloc
|
2025-04-08 10:15:38 +01:00 |
|
Geoffrey White
|
fd3dcb2d00
|
Rust: More precise imports.
|
2025-04-08 09:30:14 +01:00 |
|
Geoffrey White
|
88439b42e6
|
Merge pull request #19095 from geoffw0/blockon
Rust: Model futures::executor::block_on.
|
2025-04-07 17:41:49 +01:00 |
|
Geoffrey White
|
ee54ba4c48
|
Rust: Autoformat.
|
2025-04-07 17:06:15 +01:00 |
|
Paolo Tranquilli
|
de0d374cce
|
Rust: add upgrades property in qlpack.yml
|
2025-04-07 17:22:17 +02:00 |
|
Geoffrey White
|
9c1567375d
|
Shared: Implement getInconsistencyCounts for SSA.
|
2025-04-07 16:20:42 +01:00 |
|
Simon Friis Vindum
|
48e5b0a731
|
Merge branch 'main' into rust-ti-associated
|
2025-04-07 17:07:05 +02:00 |
|
Simon Friis Vindum
|
602e617bc6
|
Rust: Add type inference test for trait with multiple associated types
|
2025-04-07 17:02:51 +02:00 |
|
Simon Friis Vindum
|
8e76bb1a43
|
Rust: Minor changes based on PR review
|
2025-04-07 16:46:54 +02:00 |
|
Paolo Tranquilli
|
1f9455c434
|
Rust: add upgrade/downgrade scripts for struct_field_is_unsafe
|
2025-04-07 15:39:14 +02:00 |
|
Geoffrey White
|
41f54d836e
|
Rust: Tweak query description.
|
2025-04-07 14:33:31 +01:00 |
|
Geoffrey White
|
dad85854cd
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2025-04-07 14:27:12 +01:00 |
|
Paolo Tranquilli
|
260322b669
|
Rust: fix compilation errors
|
2025-04-07 15:25:19 +02:00 |
|
Tom Hvitved
|
13f4a6afa6
|
Rust: Handle path attributes in path resolution
|
2025-04-07 15:24:17 +02:00 |
|
Tom Hvitved
|
edb7aaabab
|
Rust: Add path attribute test
|
2025-04-07 15:23:27 +02:00 |
|
Paolo Tranquilli
|
afb97d2797
|
Rust: regenerate schema
|
2025-04-07 14:34:33 +02:00 |
|
Paolo Tranquilli
|
db9c908d1d
|
Cargo: upgrade dependencies
|
2025-04-07 14:30:00 +02:00 |
|
Simon Friis Vindum
|
74583e4fbf
|
Merge pull request #19227 from paldepind/rust-pr-self
Rust: Resolve `Self` path in trait type of implementation
|
2025-04-07 14:21:02 +02:00 |
|
Tom Hvitved
|
ca5cc8e405
|
Merge pull request #19220 from hvitved/rust/path-resolution-crate-fix
Rust: Minor path resolution fix for `($)crate` paths
|
2025-04-07 13:24:12 +02:00 |
|
Geoffrey White
|
2c2506c4f8
|
Rust: Add Rust SSA inconsistency infrastructure.
|
2025-04-07 12:16:45 +01:00 |
|
Simon Friis Vindum
|
3441af136c
|
Merge pull request #19146 from paldepind/rust-ti-alias
Rust: Implement support for inference of type aliases
|
2025-04-07 13:03:30 +02:00 |
|
Simon Friis Vindum
|
5dba2412b5
|
Rust: Fix annotation in comment
|
2025-04-07 12:53:13 +02:00 |
|
Simon Friis Vindum
|
acc565f84e
|
Rust: Refactor PathMention as suggested in review
|
2025-04-07 12:50:31 +02:00 |
|
Simon Friis Vindum
|
6cecf7e618
|
Rust: Resolve Self path in trait type of implementation
|
2025-04-07 11:55:03 +02:00 |
|
Simon Friis Vindum
|
5c2d6e3d0f
|
Rust: Add path resolution test for Self in trait implementation
|
2025-04-07 11:45:43 +02:00 |
|
Geoffrey White
|
893e42315e
|
Merge branch 'main' into badalloc
|
2025-04-07 09:33:23 +01:00 |
|
Geoffrey White
|
f292d04d7a
|
Merge branch 'main' into blockon
|
2025-04-07 09:03:55 +01:00 |
|
Geoffrey White
|
471f02cf3b
|
Merge branch 'main' into sinkstats
|
2025-04-04 22:28:30 +01:00 |
|
Geoffrey White
|
6ad7a950da
|
Merge branch 'main' into badalloc
|
2025-04-04 21:57:04 +01:00 |
|
Geoffrey White
|
c9939387f8
|
Rust: Turn on PrettyPrintModels for RegexInjection so we hopefully don't have to deal with test result changes there as often.
|
2025-04-04 21:47:22 +01:00 |
|
Geoffrey White
|
a5883b1627
|
Rust: Accept test changes (due to added models?).
|
2025-04-04 21:45:37 +01:00 |
|
Geoffrey White
|
bc92a99fae
|
Merge pull request #19080 from geoffw0/deallocation
Rust: Query for dereferencing an invalid pointer
|
2025-04-04 21:25:40 +01:00 |
|
Geoffrey White
|
ff78c45e50
|
Rust: Abstractions then implementations.
|
2025-04-04 18:33:27 +01:00 |
|
Geoffrey White
|
47ee6c6b81
|
Rust: Give regex injection extendable sources as well.
|
2025-04-04 18:27:16 +01:00 |
|
Geoffrey White
|
0db551032c
|
Rust: Make imports consistent and correct.
|
2025-04-04 18:23:53 +01:00 |
|
Geoffrey White
|
784ccb740b
|
Rust: Define Rust queries and extensions more consistently.
|
2025-04-04 18:17:16 +01:00 |
|
Geoffrey White
|
1acbdbaaa2
|
Rust: Make all query sinks extend QuerySink::Range and import them into Stats.qll (this ensures that sink statistics are complete).
|
2025-04-04 18:02:59 +01:00 |
|
Geoffrey White
|
c783549b5c
|
Merge branch 'main' into blockon
|
2025-04-04 17:35:00 +01:00 |
|
Geoffrey White
|
8e7e162ebc
|
Merge branch 'main' into badalloc
|
2025-04-04 17:09:50 +01:00 |
|
Geoffrey White
|
49c2f97cc8
|
Merge pull request #19180 from geoffw0/lessnoise
Rust: Reduce CI noise from the SummaryStats query
|
2025-04-04 16:51:30 +01:00 |
|
Tom Hvitved
|
006cb024de
|
Merge pull request #19217 from hvitved/rust/macro-expansion-inherit-location
Rust: Use macro call location as fall back in macro expansions
|
2025-04-04 16:25:45 +02:00 |
|
Geoffrey White
|
d47e925e85
|
Rust: Delete empty .expected files.
|
2025-04-04 14:43:24 +01:00 |
|
Geoffrey White
|
65974544a3
|
Merge remote-tracking branch 'upstream/main' into lessnoise
|
2025-04-04 13:58:29 +01:00 |
|
Geoffrey White
|
64ee6c5c02
|
Merge branch 'main' into lessnoise
|
2025-04-04 13:51:31 +01:00 |
|
Geoffrey White
|
e9971ffb94
|
Rust: Change the ID of the new query.
|
2025-04-04 13:50:28 +01:00 |
|
Tom Hvitved
|
8b6c8d7174
|
Rust: Minor path resolution fix for ($)crate paths
|
2025-04-04 14:44:39 +02:00 |
|
Geoffrey White
|
dc31da82d0
|
Rust: Fix file name typo.
|
2025-04-04 13:42:29 +01:00 |
|
Geoffrey White
|
24a4aad120
|
Rust: Accept consistency check fixes following merge with main.
|
2025-04-04 12:11:25 +01:00 |
|
Geoffrey White
|
8b23945417
|
Merge branch 'main' into deallocation
|
2025-04-04 12:06:50 +01:00 |
|
Tom Hvitved
|
6f704f088e
|
Merge pull request #19157 from hvitved/rust/path-resolution-prelude
Rust: Take prelude into account when resolving paths
|
2025-04-04 13:06:31 +02:00 |
|