89 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	6a3d417836	Rust: Implement enclosing callable for additional classes	2024-11-11 11:11:29 +01:00
Simon Friis Vindum	a5e13ee71b	Rust: Handle async blocks in SSA analysis	2024-11-10 11:59:37 +01:00
Simon Friis Vindum	74a6d9812d	Rust: Add SSA test for async blocks	2024-11-10 11:33:03 +01:00
Paolo Tranquilli	26839f5e15	Merge pull request #17882 from github/redsun82/rust-resolve ... Rust: extract some resolved paths	2024-11-08 13:33:41 +01:00
Simon Friis Vindum	dadc6059a8	Rust: Implement enclosing callable	2024-11-06 16:23:24 +01: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	9392bf796a	Rust: Include literals in the CFG for literal patterns	2024-11-06 09:21:52 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Paolo Tranquilli	e5a199b821	Rust: accept test changes due to toString implementations	2024-10-31 16:02:56 +01:00
Simon Friis Vindum	334602a50a	Rust: Handle calls that might read/write variables through closures ... This implementation is copied and adapted from the Ruby SSA implementation.	2024-10-25 10:50:32 +02:00
Simon Friis Vindum	85e59c9920	Merge branch 'main' into rust-saa-additions	2024-10-21 13:30:02 +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	76e1885355	Rust: Make mutable variables that are only borrowed immutably amenable for SSA	2024-10-16 15:07:46 +02:00
Simon Friis Vindum	577afc3fd5	Rust: Support capture of mutable variables in SSA	2024-10-16 14:57:46 +02:00
Simon Friis Vindum	a1db359ba1	Rust: Add variable tests involving borrowing and capture	2024-10-16 13:05:53 +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
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
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	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	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	bbd0aa929f	Rust: Add more missing CFG trees	2024-10-01 21:01:26 +02:00
Tom Hvitved	a507854288	Rust: Fix bug in BooleanCompletion.isValidForSpecific0	2024-10-01 21:00:33 +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