7 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	291ea6f6eb	Java: Move SSA data flow test and extend it to cover phi-read input edges.	2025-02-19 16:17:22 +01:00
Tom Hvitved	75137a0f4c	Java: Adopt shared SSA library	2025-02-11 10:06:43 +01:00
Chris Smowton	330a5b8c6c	autoformat ql	2023-11-30 11:24:00 +00:00
Chris Smowton	e41da3b10a	Add missing test Java files	2023-11-30 11:24:00 +00:00
Chris Smowton	20b97af02f	Implement dataflow for record patterns ... Strategy: there is now a regular flow step from an instance-of LHS / switch expr to the pattern, 0 or more read steps corresponding to record pattern destructors, and then finally a normal SSA def/use step connecting the binding patterns to their first uses.	2023-11-30 11:24:00 +00:00
Chris Smowton	8406ee7ed5	Add test for a pattern-switch guard acting as a data-flow guard	2023-11-30 11:23:59 +00:00
Chris Smowton	0f434e7f08	Add test for dataflow vs. pattern-switch	2023-11-30 11:23:58 +00:00