279 Commits

Author	SHA1	Message	Date
Geoffrey White	25b3d76f71	Merge pull request #17718 from geoffw0/unusedvar4 ... Rust: Restrict variables to lowercase (for now).	2024-10-10 08:22:52 +01:00
Geoffrey White	09c2f901f4	Merge pull request #17525 from geoffw0/unreachable ... Rust: Unreachable code query	2024-10-10 08:22:08 +01:00
Tom Hvitved	6a87eb0c73	Merge pull request #17696 from hvitved/rust/captured-variables ... Rust: Account for captured variables	2024-10-09 19:42:03 +02:00
Geoffrey White	719cef8298	Merge branch 'main' into unreachable	2024-10-09 17:06:11 +01:00
Geoffrey White	5ac9c2db74	Rust: Accept variables test change.	2024-10-09 17:00:15 +01:00
Geoffrey White	dfeb35fe1a	Rust: Move the restriction to variableDecl.	2024-10-09 16:21:12 +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	a66f31d844	Rust: Restrict variables to lowercase (for now).	2024-10-09 15:14:27 +01:00
Tom Hvitved	918e435a48	Merge pull request #17690 from hvitved/rust/ast-consistency-queries ... Rust: Add AST consistency queries	2024-10-09 15:54:51 +02:00
Tom Hvitved	04d1c82005	Merge pull request #17689 from hvitved/rust/print-ast ... Rust: `PrintAst` improvements	2024-10-09 15:54:30 +02:00
Geoffrey White	f3d727fadc	Rust: Correct spurious annotations.	2024-10-09 11:52:24 +01:00
Geoffrey White	fa1c92dbe7	Rust: Another case worth having.	2024-10-09 11:50:29 +01:00
Geoffrey White	7a6eabc8a3	Rust: Additional test cases.	2024-10-09 11:31:44 +01:00
Tom Hvitved	11016e193c	Rust: PrintAst improvements	2024-10-09 10:41:30 +02:00
Geoffrey White	41218fb89f	Rust: Test spacing / variable names.	2024-10-09 09:17:24 +01:00
Tom Hvitved	5afd2d5bf0	Rust: Account for captured variables	2024-10-09 10:17:01 +02:00
Tom Hvitved	a3a0c2b269	Rust: Add more variable tests	2024-10-09 10:17:00 +02:00
Tom Hvitved	fcf1b6d6f5	Merge pull request #17657 from hvitved/rust/cfg-conditional-splitting ... Rust: Implement `ConditionalCompletionSplitting`	2024-10-08 16:21:14 +02:00
Tom Hvitved	08d6d54961	Rust: Add AST consistency queries	2024-10-08 15:00:38 +02:00
Geoffrey White	70d530a49c	Rust: Exclude nodes that aren't part of the CFG.	2024-10-08 13:52:15 +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	3b1d917c2b	Rust: Autoformat.	2024-10-08 13:30:28 +01:00
Tom Hvitved	cb1ca4c75c	Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-10-08 13:41:24 +02:00
Geoffrey White	6bde26d9fd	Rust: Switch firstUnreachable to hvitved's suggested implementation.	2024-10-08 12:07:44 +01:00
Geoffrey White	5d7a92cf13	Rust: Add example from discussion.	2024-10-08 12:00:53 +01:00
Geoffrey White	40096ebb62	Rust: More cleanup after merge.	2024-10-08 11:46:45 +01:00
Geoffrey White	9e3f4cd183	Rust: Accept test changes after merging main.	2024-10-08 11:43:31 +01:00
Geoffrey White	483370d5f4	Merge branch 'main' into unreachable	2024-10-08 11:40:03 +01:00
Geoffrey White	f084bb7bcf	Rust: A couple of interesting cases with short-circuiting.	2024-10-08 11:38:23 +01:00
Tom Hvitved	50c2d108ca	Rust: Fix CompoundAssignmentExpr charpred	2024-10-04 14:48:07 +02:00
Tom Hvitved	aa5e0c39ba	Rust: Implement ConditionalCompletionSplitting	2024-10-03 21:25:50 +02:00
Tom Hvitved	a9cf33ce18	Rust: &x is neither a read nor a write	2024-10-03 20:20:59 +02:00
Tom Hvitved	05f85497ed	Rust: Add &mut variable tests	2024-10-03 19:55:07 +02:00
Geoffrey White	369241e1ea	Merge pull request #5 from hvitved/unusedvar2 ... Rust: Account for variables bound in `while let` expressions	2024-10-03 14:04:38 +01:00
Geoffrey White	ccaf2dd9ea	Rust: Temporarily limit results (hopefully enough for the DCA job to cope).	2024-10-03 13:44:04 +01:00
Tom Hvitved	cd04500dd9	Rust: Account for variables bound in while let expressions	2024-10-03 14:05:24 +02:00
Geoffrey White	0304aa846c	Rust: Add more tests for uused variables.	2024-10-03 12:37:02 +01:00
Geoffrey White	821398715c	Rust: Test spacing.	2024-10-03 11:55:11 +01:00
Tom Hvitved	97c2387904	Merge pull request #17644 from hvitved/rust/break-continue-target	2024-10-03 11:38:27 +02:00
Geoffrey White	f7db47b771	Merge pull request #17588 from geoffw0/loc2 ... Rust: Improve lines-of-code counts.	2024-10-02 18:13:36 +01:00
Geoffrey White	0b6ec4624e	Rust: Autoformat.	2024-10-02 17:05:01 +01:00
Geoffrey White	d6848f5c5d	Rust: Apparently a doc comment here was illegal.	2024-10-02 17:00:28 +01:00
Geoffrey White	01abcf8537	Rust: Use just end locations for now, to avoid all false positive lines caused by attached comments.	2024-10-02 16:54:02 +01:00
Geoffrey White	8c87b66bea	Rust: Add more test cases for comments.	2024-10-02 16:52:19 +01:00
Tom Hvitved	6da3972433	Rust: Simplify break/continue CFG labels	2024-10-02 15:45:18 +02:00
Tom Hvitved	1266f9757d	Rust: Add {BreakExpr,ContinueExpr}.getTarget()	2024-10-02 15:45:16 +02:00
Tom Hvitved	000dedf3e8	Rust: Output CFG for library-tests/variables	2024-10-02 15:45:14 +02:00
Tom Hvitved	3a1f6efce4	Address review comments	2024-10-02 13:37:24 +02:00
Geoffrey White	8243f87179	Rust: Modify the exclusion as suggested in comments.	2024-10-02 11:38:29 +01:00