624 Commits

Author	SHA1	Message	Date
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	4ca98ba816	Rust: test with format! macro in a block	2025-05-02 16:22:57 +02:00
Tom Hvitved	ae2fd52543	Merge pull request #19431 from hvitved/rust/path-resolution-remove-visibility-check ... Rust: Remove visibility check in path resolution	2025-05-02 14:44:14 +02:00
Tom Hvitved	07829e5231	Merge pull request #19421 from github/aibaars/rust-builtin-types ... Rust: extract declarations of builtin types	2025-05-02 14:43:47 +02:00
Arthur Baars	778f46d5be	Rust: adjust unit tests and expected output	2025-05-01 22:21:48 +02:00
Tom Hvitved	73fa381dbc	Rust: Remove visibility check in path resolution	2025-05-01 17:14:49 +02:00
Simon Friis Vindum	a545361a55	Rust: Accept test changes	2025-05-01 12:36:01 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02:00
Tom Hvitved	6df5a1ef80	Rust: Extract SelfParams from crate graph	2025-04-24 15:30:23 +02:00
Geoffrey White	22b3ef7f20	Merge pull request #19333 from geoffw0/consistency ... Rust: Make source kinds consistent with other languages	2025-04-17 13:15:00 +01:00
Geoffrey White	43069f139d	Rust: command-line-source -> commandargs.	2025-04-17 10:15:04 +01:00
Geoffrey White	ed2d06bcd7	Rust: environment-source -> environment.	2025-04-17 09:57:59 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Geoffrey White	432d4b0eca	Merge branch 'main' into trim	2025-04-15 16:05:02 +01:00
Geoffrey White	fea82d4d6a	Merge branch 'main' into trim	2025-04-15 12:21:48 +01:00
Geoffrey White	c06f340bd8	Rust: Make str / String models consistent.	2025-04-15 11:47:29 +01:00
Geoffrey White	bfe9cdfed5	Rust: Add model for str.trim and as_bytes.	2025-04-15 11:26:52 +01:00
Paolo Tranquilli	2dd3dea33a	Merge branch 'main' into redsun82/cargo-upgrade	2025-04-14 16:35:57 +02:00
Geoffrey White	c821f27309	Merge branch 'main' into badalloc	2025-04-14 09:36:59 +01:00
Paolo Tranquilli	9dd1062a9c	Rust: remove fixed inconsistency	2025-04-11 17:25:56 +02:00
Geoffrey White	866fc6b320	Merge pull request #19235 from geoffw0/ssaconsistency ... Rust: SSA inconsistency counts	2025-04-08 10:49:19 +01:00
Geoffrey White	10ad5780b5	Rust: Try a different toolchain version to fix the test in CI?	2025-04-08 10:21:40 +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	9c1567375d	Shared: Implement getInconsistencyCounts for SSA.	2025-04-07 16:20:42 +01:00
Geoffrey White	2c2506c4f8	Rust: Add Rust SSA inconsistency infrastructure.	2025-04-07 12:16:45 +01: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	784ccb740b	Rust: Define Rust queries and extensions more consistently.	2025-04-04 18:17:16 +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	d47e925e85	Rust: Delete empty .expected files.	2025-04-04 14:43:24 +01:00
Geoffrey White	64ee6c5c02	Merge branch 'main' into lessnoise	2025-04-04 13:51:31 +01: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
Geoffrey White	44b26e5ae6	Rust: Change the test copy of the example as well.	2025-04-04 09:54:41 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Geoffrey White	fbde235253	Rust: Rename the test as well.	2025-04-02 12:16:10 +01:00
Geoffrey White	02245af3ca	Rust: Rename the query file.	2025-04-02 12:11:55 +01:00
Geoffrey White	c737ee9b52	Rust: Accept another consistency check failure.	2025-04-02 10:58:56 +01:00
Geoffrey White	1d7dac485e	Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).	2025-04-01 17:57:04 +01:00
Tom Hvitved	dcaeeabad8	Rust: Fix capturedCallRead	2025-04-01 15:11:20 +02:00
Tom Hvitved	9dea9f5046	SSA: Make phiWithoutTwoPriorRefs consistency check more informative	2025-04-01 15:07:46 +02:00
Geoffrey White	86840a78c2	Rust: Update .expected files.	2025-04-01 09:56:56 +01:00
Geoffrey White	cc90ba5836	Rust: Create a less noisy version of the summary stats query, for use in tests.	2025-04-01 09:56:47 +01:00