635 Commits

Author	SHA1	Message	Date
Geoffrey White	7b265b2df3	Rust: Add a deliberately unresolvable macro call to the test.	2024-11-08 09:53:32 +00:00
Geoffrey White	7279cc42f8	Rust: Add resolved macros to rust/summary/summary-stats.	2024-11-08 09:49:47 +00:00
Simon Friis Vindum	f2569c45a9	Merge pull request #17921 from paldepind/rust-df-enclosing-callable ... Rust: Implement enclosing callable	2024-11-08 10:36:59 +01:00
Simon Friis Vindum	1a000ecb46	Rust: Make minor data flow changes based on PR feedback	2024-11-07 13:04:54 +01:00
Geoffrey White	df7bcfd116	Rust: Accept dataflow consistency check changes.	2024-11-07 09:54:39 +00:00
Geoffrey White	b3f7a8a46f	Merge pull request #17908 from geoffw0/dfcons ... Rust: Expose counts of data flow inconsistencies	2024-11-06 19:11:04 +00:00
Geoffrey White	fbfdd57383	Rust: Additional test cases for rust/dead-code.	2024-11-06 17:43:04 +00:00
Geoffrey White	a8b1cb3243	Rust: Make it so that all of the test functions may return.	2024-11-06 17:23:01 +00:00
Simon Friis Vindum	dadc6059a8	Rust: Implement enclosing callable	2024-11-06 16:23:24 +01:00
Geoffrey White	bf0e1008ce	Rust: Move some test cases together.	2024-11-06 13:14:52 +00:00
Simon Friis Vindum	ff80b249ca	Merge pull request #17917 from paldepind/rust-df-types ... Rust: Fix unique type data flow inconsistency	2024-11-06 14:02:00 +01:00
Simon Friis Vindum	60986d8c9b	Rust: Fix unique type data flow inconsistency	2024-11-06 13:48:10 +01:00
Tom Hvitved	f8058e40af	Merge pull request #17915 from hvitved/rust/pat-literal-cfg ... Rust: Include literals in the CFG for literal patterns	2024-11-06 13:09:49 +01:00
Tom Hvitved	9392bf796a	Rust: Include literals in the CFG for literal patterns	2024-11-06 09:21:52 +01:00
Simon Friis Vindum	6054855edb	Merge pull request #17888 from paldepind/rust-data-flow-consistency ... Rust: Data flow additions	2024-11-05 21:29:18 +01:00
Geoffrey White	93836a55e2	Rust: Clean up code / clarify responsibilities and fix the issue in rust/unused-value as well.	2024-11-05 15:16:59 +00:00
Geoffrey White	278760c735	Rust: Add another exception to rust/unused-variable.	2024-11-05 14:46:32 +00:00
Simon Friis Vindum	262a9f0cfa	Rust: Make fixes in data flow based on PR feedback	2024-11-05 15:37:44 +01:00
Geoffrey White	35ffd0cc9c	Rust: Add more test cases for unused variables (inspired by real world FPs).	2024-11-05 14:07:10 +00:00
Geoffrey White	3091083705	Rust: Call all the test cases.	2024-11-05 11:02:38 +00:00
Geoffrey White	088dd50f1f	Rust: Update tests.	2024-11-05 10:30:41 +00:00
Geoffrey White	c8c747a110	Rust: Add total data flow inconsistencies to rust/summary/summary-statistics.	2024-11-04 19:10:44 +00:00
Geoffrey White	30cc55005d	Rust: Add rust/diagnostics/data-flow-consistency-counts query for data flow inconsistency counts.	2024-11-04 19:09:30 +00:00
Simon Friis Vindum	d9636b37b6	Rust: Add data flow test with assignment to mutable variable	2024-11-04 20:00:36 +01:00
Simon Friis Vindum	6b25bea2e5	Rust: Accept consistency results	2024-11-04 11:28:26 +01:00
Simon Friis Vindum	a3c7d5a469	Merge branch 'main' into rust-data-flow-consistency	2024-11-04 11:10:48 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Simon Friis Vindum	82076ee0b8	Rust: Propagate data flow through a few expression types	2024-11-03 16:12:59 +01:00
Simon Friis Vindum	2bab29d31b	Rust: Add local data flow step tests	2024-11-03 16:12:58 +01:00
Tom Hvitved	c4adec3010	Address review comment	2024-11-01 15:28:17 +01:00
Simon Friis Vindum	a36095d85b	Rust: Add local data flow test with if expression	2024-11-01 11:28:10 +01:00
Paolo Tranquilli	e5a199b821	Rust: accept test changes due to toString implementations	2024-10-31 16:02:56 +01:00
Paolo Tranquilli	cee2ed0ec4	Rust: extract some resolved paths	2024-10-31 14:19:15 +01:00
Tom Hvitved	d0f9a0b9ce	Rust: Add another unused-value test	2024-10-31 11:43:33 +01:00
Tom Hvitved	55a6ed7e8a	Rust: Include link to variable in unused value query	2024-10-31 11:42:44 +01:00
Tom Hvitved	2b340b18dd	Rust: Exclude results inside macro expansions from unused entity queries	2024-10-31 11:42:43 +01:00
Tom Hvitved	fec31a6da4	Rust: Include variable name in Unused{Variable,Value}.ql	2024-10-31 11:42:41 +01:00
Tom Hvitved	2b37c6cd32	Merge pull request #17548 from hvitved/shared/inline-test-post-process ... Shared: Post-processing query for inline test expectations	2024-10-31 11:40:11 +01:00
Simon Friis Vindum	b96698aee3	Merge pull request #17871 from paldepind/rust-data-flow-skeleton ... Rust: Add basic skeleton setup for data flow	2024-10-31 08:26:11 +01:00
Paolo Tranquilli	7e8a09aea1	Merge pull request #17825 from github/redsun82/rust-canonical-path ... Rust: add `extended_canonical_path` and `crate_origin` to `Item`	2024-10-30 18:13:05 +01:00
Simon Friis Vindum	44bebedae6	Rust: Add basic skeleton setup for data flow	2024-10-30 13:16:26 +01:00
Tom Hvitved	baeffa2345	Update rust/ql/test/query-tests/unusedentities/unreachable.rs ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-10-29 15:00:09 +01:00
Tom Hvitved	dd520fea47	Rust: Post-processing query for inline test expectations	2024-10-29 13:37:04 +01:00
Tom Hvitved	c5d699cb6b	Merge pull request #17857 from geoffw0/unreachable3 ... Rust: Fix rust/dead-code	2024-10-29 13:35:10 +01:00
Tom Hvitved	7ddc8f087d	Merge pull request #17786 from paldepind/rust-saa-additions ... Rust: SSA additions	2024-10-29 09:51:38 +01:00
Geoffrey White	bf5a0b7bd0	Rust: Rewrite UnreachableCode.ql to be more robust.	2024-10-28 14:36:42 +00:00
Geoffrey White	41df9ae4fc	Merge pull request #17854 from geoffw0/cleanuptest ... Rust: Clean up unreachable test	2024-10-28 14:29:42 +00:00
Arthur Baars	2326861b23	Merge pull request #17805 from github/aibaars/local-defs ... Rust: Rust: add jump to definition for format arguments	2024-10-28 14:17:40 +01:00
Paolo Tranquilli	9c95a17882	Rust: add block ids to canonical paths, making them "extended"	2024-10-28 12:41:05 +01:00
Simon Friis Vindum	cab916453d	Rust: Update unused value expected test result	2024-10-28 12:18:00 +01:00