1078 Commits

Author	SHA1	Message	Date
Geoffrey White	4e496fe7b2	Rust: Lets just not model 'drop' incorrectly, for now.	2025-03-27 12:25:08 +00: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
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
Paolo Tranquilli	2a81cc9567	Merge branch 'main' into redsun82/rust-analyzer-update	2025-03-26 09:33:38 +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
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	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
Paolo Tranquilli	29b7acfddd	Merge pull request #19101 from github/redsun82/rust-fix-main ... Rust: accept test changes for now	2025-03-24 16:22:04 +01:00
Tom Hvitved	0f1aee025c	Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate ... Rust: Path resolution improvements	2025-03-24 14:14:12 +01:00
Paolo Tranquilli	bf32acc198	Rust: accept test changes for now	2025-03-24 13:43:27 +01:00
Geoffrey White	e4cadf09ce	Rust: Don't report excessive results for the same source.	2025-03-24 12:12:42 +00:00
Geoffrey White	b7044bdcde	Rust: Add a test of repeat sinks.	2025-03-24 12:04:43 +00:00
Geoffrey White	f582054ca4	Rust: Refactor the tests that have multiple control flow paths.	2025-03-24 11:56:32 +00:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Paolo Tranquilli	04f9694f89	Rust: drop extraction of anonymous canonical paths	2025-03-21 09:47:02 +01:00
Paolo Tranquilli	7cf3cac24a	Rust: reinstate Variant as Addressable	2025-03-20 16:55:37 +01:00
Geoffrey White	91d273ad76	Rust: I think these generated models are correct. Accept them.	2025-03-20 15:52:08 +00:00
Paolo Tranquilli	ea11b08f28	Rust: rerun code generation	2025-03-20 16:51:35 +01:00
Geoffrey White	98690f924a	Rust: Incidental changes to other .expected files.	2025-03-20 15:39:03 +00:00
Simon Friis Vindum	b2fc4f80fb	Rust: Adjustments to type inference	2025-03-20 16:38:06 +01:00
Paolo Tranquilli	12214b65a4	Rust: add forgotten expected file	2025-03-20 16:35:56 +01:00
Arthur Baars	b10a296a93	Rust: add more path-injection sinks	2025-03-20 16:30:47 +01:00
Paolo Tranquilli	b48d9a255e	Rust: undo rename of Path::segment to Path::part	2025-03-20 16:30:35 +01:00
Geoffrey White	5831c446d3	Rust: Add test cases for another situation I came across.	2025-03-20 14:26:15 +00:00
Geoffrey White	019fcbfbf9	Rust: Add qhelp examples, and add them as tests.	2025-03-20 14:26:13 +00:00
Geoffrey White	7ceb76441a	Rust: Improve the source to account for conversions.	2025-03-20 14:26:10 +00:00
Geoffrey White	be6d0d1f86	Rust: Work around data flow source issue.	2025-03-20 14:26:09 +00:00
Geoffrey White	dcd016f5be	Rust: Initial version of the query.	2025-03-20 14:26:06 +00:00
Geoffrey White	19f009ae08	Rust: Add tests for various kinds of dangling pointers.	2025-03-20 14:26:04 +00:00
Simon Friis Vindum	659077769b	Merge pull request #19062 from paldepind/rust-ti-1 ... Rust: Improve handling of trait bounds	2025-03-20 14:38:03 +01:00
Tom Hvitved	b2fc7e771f	Rust: Handle super in use statements	2025-03-20 14:14:33 +01:00
Tom Hvitved	57dfbf4faa	Rust: Add path resolution test for super in use statement	2025-03-20 14:14:29 +01:00
Tom Hvitved	7c2bafeb17	Rust: Handle self in use statements	2025-03-20 14:13:12 +01:00
Tom Hvitved	8f8f6f74bc	Rust: Add use+self path resolution test	2025-03-20 14:13:11 +01:00
Tom Hvitved	c91176116f	Rust: Cross-crate path resolution	2025-03-20 14:13:06 +01:00
Tom Hvitved	bd4c85a5bc	Rust: Add cross-crate path resolution test	2025-03-20 13:50:20 +01:00