Report InvalidLink diagnostics for links that are so invalid they crash javac

PiperOrigin-RevId: 829336029

Author: cushon

core/src/main/java/com/google/errorprone/bugpatterns/javadoc/InvalidLink.java

@@ -150,15 +150,24 @@ public Void visitLink(LinkTree linkTree, Void unused) {
       // Install a deferred diagnostic handler before calling DocTrees.getElement(DocTreePath)
 
       Log.DeferredDiagnosticHandler deferredDiagnosticHandler = deferredDiagnosticHandler(log);
+      boolean crashed = false;
       try {
         element =
             JavacTrees.instance(state.context)
                 .getElement(new DocTreePath(getCurrentPath(), linkTree.getReference()));
       } catch (NullPointerException | AssertionError e) {
-        // TODO: cushon - remove if https://bugs.openjdk.org/browse/JDK-8371248 is fixed
+        crashed = true;
       } finally {
         log.popDiagnosticHandler(deferredDiagnosticHandler);
       }
+      if (crashed) {
+        // If the @link crashed javac, report a finding.
+        // TODO: cushon - remove if https://bugs.openjdk.org/browse/JDK-8371248 is fixed
+        state.reportMatch(
+            buildDescription(diagnosticPosition(getCurrentPath(), state))
+                .addFix(replace(linkTree, String.format("{@code %s}", reference), state))
+                .build());
+      }
       // Don't warn about fully qualified types; they won't always be known at compile-time.
       if (element != null || reference.contains(".")) {
         return super.visitLink(linkTree, null);

core/src/test/java/com/google/errorprone/bugpatterns/javadoc/InvalidLinkTest.java

@@ -227,4 +227,20 @@ static void foo(int bar) {}
         .setArgs("--release", "22")
         .doTest();
   }
+
+  // https://bugs.openjdk.org/browse/JDK-8371248
+  @Test
+  public void crash() {
+    helper
+        .addSourceLines(
+            "Test.java",
+            """
+            public class Test {
+              // BUG: Diagnostic contains:
+              /** {@link double.NAN} */
+              static void foo() {}
+            }
+            """)
+        .doTest();
+  }
 }