Handle yield in Reachability

PiperOrigin-RevId: 737678874

Author: cushon

check_api/src/main/java/com/google/errorprone/util/Reachability.java

@@ -50,6 +50,7 @@
 import com.sun.source.tree.TryTree;
 import com.sun.source.tree.VariableTree;
 import com.sun.source.tree.WhileLoopTree;
+import com.sun.source.tree.YieldTree;
 import com.sun.source.util.SimpleTreeVisitor;
 import com.sun.tools.javac.code.Symbol.MethodSymbol;
 import com.sun.tools.javac.tree.JCTree;
@@ -419,6 +420,12 @@ public Boolean visitReturn(ReturnTree tree, Void unused) {
       return false;
     }
 
+    /* A yield statement cannot complete normally. */
+    @Override
+    public Boolean visitYield(YieldTree tree, Void unused) {
+      return false;
+    }
+
     /* A throw statement cannot complete normally. */
     @Override
     public Boolean visitThrow(ThrowTree tree, Void unused) {
@@ -459,5 +466,10 @@ public Boolean visitTry(TryTree that, Void unused) {
       }
       return completes;
     }
+
+    @Override
+    protected Boolean defaultAction(Tree tree, Void unused) {
+      throw new IllegalStateException(tree.getKind().toString());
+    }
   }
 }

core/src/test/java/com/google/errorprone/bugpatterns/PatternMatchingInstanceofTest.java

@@ -698,4 +698,33 @@ public Class stringify(Object o) {
             """)
         .doTest(BugCheckerRefactoringTestHelper.TestMode.TEXT_MATCH);
   }
+
+  @Test
+  public void switchExpression() {
+    assume().that(Runtime.version().feature()).isAtLeast(21);
+    helper
+        .addInputLines(
+            "Test.java",
+            """
+            class T {
+              interface Filter {
+                Object child();
+              }
+
+              int f(Object o) {
+                return switch (o) {
+                  case Filter filter -> {
+                    if (!(filter.child() instanceof Integer)) {
+                      yield 0;
+                    }
+                    yield 1;
+                  }
+                  default -> 2;
+                };
+              }
+            }
+            """)
+        .expectUnchanged()
+        .doTest();
+  }
 }