26 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	db1b698689	Rust: Accept fixed spurious results	2024-11-11 08:59:34 +01: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
Geoffrey White	bf0e1008ce	Rust: Move some test cases together.	2024-11-06 13:14:52 +00:00
Tom Hvitved	c4adec3010	Address review comment	2024-11-01 15:28:17 +01:00
Tom Hvitved	d0f9a0b9ce	Rust: Add another unused-value test	2024-10-31 11:43:33 +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
Geoffrey White	bf5a0b7bd0	Rust: Rewrite UnreachableCode.ql to be more robust.	2024-10-28 14:36:42 +00:00
Geoffrey White	e5818f6f2e	Rust: Fix unused value cases in the unreachable test (they're not interesting, just distract from the point of these tests.	2024-10-28 10:29:31 +00:00
Geoffrey White	72606d5a59	Rust: Add missing annotations to unreachable test.	2024-10-28 10:22:46 +00:00
Geoffrey White	e1aaa136b2	Rust: Add variants with pattern matching for unreachable_let_1 and 2.	2024-10-17 15:38:47 +01:00
Geoffrey White	3d0c86e176	Rust: Test spacing.	2024-10-17 15:37:03 +01:00
Geoffrey White	e21959d7bb	Rust: Add more unreachable test cases.	2024-10-16 17:34:57 +01:00
Geoffrey White	a92de0df93	Rust: Test spacing.	2024-10-16 16:56:12 +01:00
Geoffrey White	e5885f65db	Rust: Add more test cases for unused variables and unreachable code.	2024-10-14 16:25:18 +01:00
Geoffrey White	528641c55a	Rust: Test spacing.	2024-10-14 16:25:17 +01:00
Geoffrey White	134539060d	Rust: correct some 'spurious' annotations that are off by one line.	2024-10-14 16:24:44 +01:00
Geoffrey White	f171eeb229	Rust: Restrict 'unreachable' to nodes intended to be part of the CFG.	2024-10-09 15:37:10 +01:00
Geoffrey White	a7dbe29448	Rust: Add parenthesis example to test.	2024-10-08 13:50:17 +01:00
Geoffrey White	7235ba8f91	Rust: Fix test compilation errors.	2024-10-08 13:38:33 +01:00
Geoffrey White	5d7a92cf13	Rust: Add example from discussion.	2024-10-08 12:00:53 +01:00
Geoffrey White	9e3f4cd183	Rust: Accept test changes after merging main.	2024-10-08 11:43:31 +01:00
Geoffrey White	f084bb7bcf	Rust: A couple of interesting cases with short-circuiting.	2024-10-08 11:38:23 +01:00
Geoffrey White	1eaa998648	Rust: Implement unreachable code query.	2024-09-19 17:44:15 +01:00
Geoffrey White	35378aa714	Rust: Add placeholder query + test for unreachable code query.	2024-09-19 17:34:41 +01:00