372 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	4ca6b0eceb	Rust: Add a CFG test for a return within a break	2024-10-18 13:22:39 +02:00
Simon Friis Vindum	6568eb80a2	Rust: Refactor CFG pattern tree implementation	2024-10-18 12:52:56 +02:00
Simon Friis Vindum	7aa28a0449	Rust: Fix multiple CFG successors in range pattern without lower bound	2024-10-18 11:19:21 +02:00
Simon Friis Vindum	b0625f83c6	Rust: Add CFG test of range patterns	2024-10-18 11:19:19 +02:00
Simon Friis Vindum	272d12fee1	Rust: Step correctly over method arguments ... Previously the math was wrong and the first argument (with `i` being `0`) had two edges out of it.	2024-10-18 11:19:07 +02:00
Simon Friis Vindum	b2032fc6fd	Rust: Only normal completion of a let statement initializer steps to the pattern	2024-10-17 16:28:57 +02:00
Simon Friis Vindum	e6f1edcbb5	Rust: Conditional completion of match arm expression should now flow to next arm	2024-10-17 16:25:19 +02:00
Simon Friis Vindum	04f2062942	Rust: Label the non-return CFG edge out of question mark as match	2024-10-17 16:22:07 +02:00
Simon Friis Vindum	fd5d6255c1	Rust: Avoid creating CFG scopes for trait signatures without implementations	2024-10-17 16:20:30 +02:00
Simon Friis Vindum	b0cd44e47f	Rust: Add CFG test cases	2024-10-17 16:09:17 +02:00
Simon Friis Vindum	2d1c62b6df	Rust: Fix dead end in CFG for empty tuple and struct patterns	2024-10-17 10:40:34 +02:00
Simon Friis Vindum	b97ec405d0	Rust: Add CFG tests with empty tuple and struct patterns	2024-10-17 10:34:49 +02:00
Geoffrey White	7d62cdad71	Merge pull request #17774 from geoffw0/astcount ... Rust: Count number of AST inconsistencies	2024-10-16 14:17:39 +01:00
Geoffrey White	feed0ebeca	Rust: Autoformat.	2024-10-15 15:49:56 +01:00
Geoffrey White	f9eca42ded	Merge pull request #17763 from geoffw0/cfgcount3 ... Rust: Count number of CFG inconsistencies	2024-10-15 15:43:39 +01:00
Geoffrey White	f07f6188ae	Rust: Make rust/summary/summary-statistics a metric query so that we can access data in the DCA job.	2024-10-15 14:19:46 +01:00
Geoffrey White	f4d4925239	Rust: Address QL-for-QL complaint.	2024-10-15 14:19:45 +01:00
Geoffrey White	2be5ce4f7a	Rust: Change rust/summary/summary-statistics to a diagnostic query, so that it gets run as a diagnmetric query for DCA.	2024-10-15 14:19:44 +01:00
Geoffrey White	e8953fb5e4	Rust: Add diagnostic query for AST inconsistency counts.	2024-10-15 14:19:43 +01:00
Geoffrey White	e01ecd1b79	Rust: Calculate a total of AST inconsistencies.	2024-10-15 14:19:42 +01:00
Geoffrey White	2d019eb00e	Rust: Add QLDoc to the AST consistency rules and make their output more consistent.	2024-10-15 14:19:40 +01:00
Geoffrey White	b5c88c7bfe	Rust: Give the extraction consistency query metadata as well.	2024-10-15 14:19:39 +01:00
Geoffrey White	414fcf836e	Rust: Move the AST consistency logic to a .qll.	2024-10-15 14:19:38 +01:00
Geoffrey White	79c5adfc9a	Rust: Use correct versions of the consistency predicates.	2024-10-15 14:10:51 +01:00
Paolo Tranquilli	1d9767a163	Merge pull request #17770 from github/redsun82/rust-callable-base ... Rust: Add `Callable` as a base class of `Function` and `ClosureExpr`	2024-10-15 15:00:59 +02:00
Geoffrey White	abc4981300	Rust: Address QL-for-QL complaint.	2024-10-15 11:30:03 +01:00
Geoffrey White	983179b84e	Rust: Autoformat.	2024-10-15 11:23:16 +01:00
Paolo Tranquilli	248eb7f00c	Merge branch 'main' into rust/callable-base	2024-10-15 11:03:11 +02:00
Geoffrey White	7d9a3e1399	Merge pull request #17756 from geoffw0/unusedvar6 ... Rust: More test cases for rust/unused-variable	2024-10-15 10:02:37 +01:00
Arthur Baars	508e8157b3	Merge pull request #17746 from github/aibaars/macro-pat-irrefutable ... Rust: add MacroPat to isExhaustiveMatch	2024-10-15 10:45:06 +02:00
Geoffrey White	5e33d9a145	Rust: Further changes from code review.	2024-10-15 09:38:17 +01:00
Geoffrey White	8169ccd21e	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2024-10-15 09:36:09 +01:00
Simon Friis Vindum	cc1e33fb64	Merge pull request #17713 from hvitved/rust/ssa ... Rust: Initial SSA implementation	2024-10-15 09:59:48 +02:00
Geoffrey White	57875554f4	Rust: Accept consistency failures in the new test cases.	2024-10-14 17:06:55 +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	25b592fc89	Merge pull request #17744 from geoffw0/unusedvar5 ... Rust: Unused variable follow-up work	2024-10-14 16:20:52 +01:00
Arthur Baars	ae7afa7aff	Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll ... Co-authored-by: Simon Friis Vindum <simonfv@gmail.com>	2024-10-14 15:20:43 +02:00
Arthur Baars	493a68a232	Rust: add MacroPat to isExhaustiveMatch	2024-10-14 13:55:59 +02:00
Simon Friis Vindum	22261c1480	Rust: Rename isIrrefutablePattern to isExhaustiveMatch	2024-10-14 13:43:57 +02:00
Simon Friis Vindum	e83f1d17bf	Rust: Simplify return implementation in CFG	2024-10-14 11:40:35 +02:00
Simon Friis Vindum	8e4e663739	Rust: Handle question mark operator in CFG	2024-10-14 11:38:35 +02:00
Simon Friis Vindum	2f07f1c730	Rust: Abnormal completion in scrutinee does not continue to match arms	2024-10-14 11:32:22 +02:00
Simon Friis Vindum	23ee7b955c	Rust: Add CFG tests for question mark operator and scrutinee with return	2024-10-14 11:27:32 +02:00
Tom Hvitved	6290be2922	Rust: Initial SSA implementation	2024-10-11 19:39:28 +02:00
Tom Hvitved	b0ea175021	Rust: Add more variables tests	2024-10-11 19:36:04 +02:00
Geoffrey White	c4256f21c7	Rust: Fix out-of-date spurious tags.	2024-10-11 17:18:41 +01:00
Geoffrey White	ac9a8d602c	Rust: Add metadata to the original CFG consistency query.	2024-10-11 17:01:47 +01:00
Geoffrey White	d4c3e3323f	Rust: Add diagnostic query for CFG inconsistency counts.	2024-10-11 17:01:46 +01:00