7 Commits

Author	SHA1	Message	Date
Chris Smowton	9fa2f19990	Add test for guards in the presence of fall-through between pattern and constant cases	2024-03-25 16:31:39 +00:00
Chris Smowton	cc8dcf63b0	Convert test to use an anonymous local	2024-03-25 16:31:38 +00:00
Chris Smowton	b33dc38a65	Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard	2023-11-30 11:24:06 +00:00
Chris Smowton	f0144d6a3d	Expose that case guard test controls its case body	2023-11-30 11:24:04 +00:00
Chris Smowton	668f445fb4	Fix switchCaseControls and hasBranchEdge to account for mixed patterns and constant cases	2023-11-30 11:24:04 +00:00
Anders Schack-Mulligen	922a4e8ddf	Java: Add failing test	2023-09-28 14:15:56 +02:00
Anders Schack-Mulligen	0e12df0a15	Java: Add SwitchExpr support in Guards.qll	2019-06-04 16:03:23 +02:00