From ba239a1be06b17ffde85e6af8990312d8c4ea8d1 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Thu, 14 Nov 2024 15:02:21 +0000 Subject: [PATCH] Add change note --- ...14-unreachable-basic-block-in-constant-switch-statement.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 java/ql/lib/change-notes/2024-11-14-unreachable-basic-block-in-constant-switch-statement.md diff --git a/java/ql/lib/change-notes/2024-11-14-unreachable-basic-block-in-constant-switch-statement.md b/java/ql/lib/change-notes/2024-11-14-unreachable-basic-block-in-constant-switch-statement.md new file mode 100644 index 00000000000..50df55a4c1a --- /dev/null +++ b/java/ql/lib/change-notes/2024-11-14-unreachable-basic-block-in-constant-switch-statement.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* In a switch statement with a constant switch expression, all non-matching cases were being marked as unreachable, including those that can be reached by falling through from the matching case. This has now been fixed.