test: reproduce the reported issue

refs #2019

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");
+    }
+}

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);
+        }
+
+    }}