From 2c4a94da563dac1f676534ff1b291fe1c44e11c4 Mon Sep 17 00:00:00 2001
From: Kengo TODA <skypencil@gmail.com>
Date: Tue, 19 Apr 2022 08:17:14 +0800
Subject: [PATCH] test: reproduce the reported issue

refs #2019
---
 .../umd/cs/findbugs/detect/Issue2019Test.java | 17 +++++++
 .../src/java/ghIssues/Issue2019.java          | 44 +++++++++++++++++++
 2 files changed, 61 insertions(+)
 create mode 100644 spotbugs-tests/src/test/java/edu/umd/cs/findbugs/detect/Issue2019Test.java
 create mode 100644 spotbugsTestCases/src/java/ghIssues/Issue2019.java

diff --git a/spotbugs-tests/src/test/java/edu/umd/cs/findbugs/detect/Issue2019Test.java b/spotbugs-tests/src/test/java/edu/umd/cs/findbugs/detect/Issue2019Test.java
new file mode 100644
index 00000000000..35942acda83
--- /dev/null
+++ b/spotbugs-tests/src/test/java/edu/umd/cs/findbugs/detect/Issue2019Test.java
@@ -0,0 +1,17 @@
+package edu.umd.cs.findbugs.detect;
+
+import edu.umd.cs.findbugs.AbstractIntegrationTest;
+import org.junit.Test;
+
+
+public class Issue2019Test extends AbstractIntegrationTest {
+    @Test
+    public void test() {
+        performAnalysis("ghIssues/Issue2019$ATNSimulator.class",
+                "ghIssues/Issue2019$BaseParser.class",
+                "ghIssues/Issue2019$Parser.class",
+                "ghIssues/Issue2019$ParserATNSimulator.class",
+                "ghIssues/Issue2019$Recognizer.class",
+                "ghIssues/Issue2019.class");
+    }
+}
diff --git a/spotbugsTestCases/src/java/ghIssues/Issue2019.java b/spotbugsTestCases/src/java/ghIssues/Issue2019.java
new file mode 100644
index 00000000000..62a4b0dcace
--- /dev/null
+++ b/spotbugsTestCases/src/java/ghIssues/Issue2019.java
@@ -0,0 +1,44 @@
+package ghIssues;
+
+/**
+ * @see <a href="https://github.com/spotbugs/spotbugs/issues/2019">GitHub Issue</a>
+ */
+public class Issue2019 {
+
+    static class ATNSimulator {
+        public int adaptivePredict() {
+            return 0;
+        }
+    }
+
+    static class ParserATNSimulator extends ATNSimulator {
+    }
+
+    static class Recognizer<ATNInterpreter extends ATNSimulator> {
+        public ATNInterpreter getInterpreter() {
+            return null;
+        }
+    }
+
+    static class BaseParser extends Recognizer<ParserATNSimulator> {
+    }
+
+    public static class Parser extends BaseParser {
+
+        public void text() {
+            int _alt = 1;
+            do {
+                switch (_alt) {
+                    case 1:
+                        if (_alt == 1) {
+                            continue;
+                        }
+                        break;
+                    default:
+                        throw new RuntimeException();
+                }
+                _alt = getInterpreter().adaptivePredict();
+            } while (_alt != 2);
+        }
+
+    }}
\ No newline at end of file