513 Commits

Author	SHA1	Message	Date
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
Arthur Baars	5f45402cf7	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 15:40:07 +02:00
Arthur Baars	9fad5410c0	Rust: implement CFG for macros	2024-10-11 10:37:24 +02:00
Tom Hvitved	756affa4aa	Rust: Fix bugs in LetExprTree and MethodCallExprTree	2024-10-10 21:05:01 +02:00
Tom Hvitved	2f14ec9f2a	Rust: Include patterns in the CFG	2024-10-10 21:05:00 +02:00
Tom Hvitved	f6f54c6e3b	Rust: Include parameters in the CFG	2024-10-10 21:04:58 +02:00
Tom Hvitved	665da3958a	Rust: Add CFG test for nested function	2024-10-10 21:04:57 +02:00
Arthur Baars	796da126b8	Rust: update expected output	2024-10-10 15:52:57 +02:00
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	5ac9c2db74	Rust: Accept variables test change.	2024-10-09 17:00:15 +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	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
Tom Hvitved	cd04500dd9	Rust: Account for variables bound in while let expressions	2024-10-03 14:05:24 +02:00
Tom Hvitved	97c2387904	Merge pull request #17644 from hvitved/rust/break-continue-target	2024-10-03 11:38:27 +02: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	fb9ec2423c	Rust: Implement UnusedVariable.ql	2024-10-02 11:22:32 +02:00
Tom Hvitved	9c7216fe4f	Rust: Add another CFG test	2024-10-02 10:59:26 +02:00
Tom Hvitved	c4eafb2cf3	Rust: Skip ParenExprs in the CFG	2024-10-01 21:26:49 +02:00
Tom Hvitved	8b66dc16ad	Rust: Fix CFG for labelled block expressions	2024-10-01 21:03:36 +02:00
Tom Hvitved	85957767c9	Rust: Fix CFG for while let loops	2024-10-01 21:02:17 +02:00
Tom Hvitved	26c69b8f8a	Rust: Add more CFG tests	2024-10-01 21:01:49 +02:00
Tom Hvitved	bbd0aa929f	Rust: Add more missing CFG trees	2024-10-01 21:01:26 +02:00
Tom Hvitved	17770af491	Rust: Account for let statement else blocks in deadEnd	2024-10-01 21:00:39 +02:00
Tom Hvitved	a507854288	Rust: Fix bug in BooleanCompletion.isValidForSpecific0	2024-10-01 21:00:33 +02:00
Tom Hvitved	8c1fd8fa7a	Rust: Implement CFG for ForExprs	2024-10-01 21:00:09 +02:00
Tom Hvitved	f3e3734424	Rust: Implement CFG for WhileExprs	2024-10-01 20:59:41 +02:00
Tom Hvitved	5444a5bf8a	Rust: Extend while and for CFG tests	2024-10-01 20:59:13 +02:00
Tom Hvitved	91e26d0f44	Rust: Add another variable test	2024-10-01 13:45:58 +02:00
Tom Hvitved	b0efffd8f0	Rust: AST support for variables	2024-10-01 10:10:08 +02:00
Tom Hvitved	1d6626c821	Rust: Implement IdentPat.toString()	2024-10-01 08:42:26 +02:00
Tom Hvitved	2e7e26b638	Rust: Add more CFG tests	2024-09-30 15:15:14 +02:00
Tom Hvitved	3e77dd8b6b	Rust: Fix extraction errors	2024-09-30 10:36:56 +02:00
Tom Hvitved	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +02:00
Tom Hvitved	dc4160b24a	Rust: Prune CFG for impossible true/false edges	2024-09-27 13:37:29 +02:00
Tom Hvitved	bf58bdd2bd	Rust: Update CFG tests	2024-09-27 13:35:14 +02:00
Tom Hvitved	431b33a274	Rust: Implement LiteralExpr::toString()	2024-09-27 13:33:25 +02:00
Tom Hvitved	24f39ccae2	Rust: Weaken scopeNoFirst check	2024-09-26 11:09:52 +02:00
Tom Hvitved	cbc2389493	Rust: Accept CFG inconsistencies	2024-09-25 10:56:46 +02:00
Tom Hvitved	3bd5c6e445	Rust: Implement {BinaryExpr,PrefixExpr}.toString()	2024-09-25 10:55:15 +02:00
Tom Hvitved	5f3663018e	Rust: Remove spurious CFG edges in match expressions	2024-09-24 13:09:33 +02:00
Tom Hvitved	6ae03e67e6	Rust: Add case for ParenExpr in CFG	2024-09-24 11:20:57 +02:00
Tom Hvitved	16813240ae	Shared: Do not use @kind graph for CFG test output	2024-09-19 18:13:31 +02:00
Simon Friis Vindum	19697b9a77	Merge branch 'main' into rust-improve-cfg	2024-09-19 15:53:41 +02:00