Merge ../checker-framework-fork-mernst-branch-issue5412 into switch-e…

…xhaustive
mernst · Dec 1, 2022 · 9fbc8d2 · 9fbc8d2
2 parents f0c5010 + 77d3b8c
commit 9fbc8d2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
@@ -2230,7 +2230,8 @@ public Node visitBreak(BreakTree tree, Void p) {
     return null;
   }
 
-  // This visits a switch statement, not a switch expression.
+  // This visits a switch statement.
+  // Switch expressions are visited by visitSwitchExpression17.
   @Override
   public Node visitSwitch(SwitchTree tree, Void p) {
     SwitchBuilder builder = new SwitchBuilder(tree);