Do not explore beyond rule stop states when computing possible next t…

…okens during error recovery

Fixes tunnelvisionlabs#84

contributors.txt

@@ -280,4 +280,5 @@ YYYY/MM/DD, github id, Full name, email
 2020/10/16, adarshbhat, Adarsh Bhat, [email protected]
 2020/10/20, adamwojs, Adam Wójs, adam[at]wojs.pl
 2020/10/24, cliid, Jiwu Jang, [email protected]
-2020/11/05, MichelHartmann, Michel Hartmann, [email protected]
+2020/11/05, MichelHartmann, Michel Hartmann, [email protected]
+2023/10/26, br0nstein, Aaron Braunstein, aa(last name)@gmail.com

runtime-testsuite/resources/org/antlr/v4/test/runtime/templates/ParserErrors/Index.stg

@@ -32,5 +32,6 @@ TestTemplates ::= [
 	"NoViableAltAvoidance": [],
 	"TokenMismatch2": [],
 	"TokenMismatch3": [],
+	"TokenMismatch4": [],
 	"ExtraneousInput": []
 ]

runtime-testsuite/resources/org/antlr/v4/test/runtime/templates/ParserErrors/TokenMismatch4.stg

@@ -0,0 +1,49 @@
+TestType() ::= "Parser"
+
+Options ::= [
+	"Debug": false
+]
+
+Grammar ::= [
+	"T": {<grammar("T")>}
+]
+
+Input() ::= "SELECT CONCAT() FROM tbl"
+
+Rule() ::= "s"
+
+Output() ::= <<
+(selectStatement (selectQuery SELECT (expr (func CONCAT ( (expr )))) (fromClause FROM tbl)) limitOpt)
+Error encountered: [@3,14:14=')',\<7>,1:14]<\n>
+>>
+
+Errors() ::= <<
+line 1:14 mismatched input ')' expecting {IDENTIFIER, NUMBER}<\n>
+>>
+
+grammar(grammarName) ::= <<
+grammar <grammarName>;
+
+<ImportVisitor("T")>
+<ErrorVisitor("T")>
+
+s
+@init {
+<BuildParseTrees()>
+}
+@after {
+<ToStringTree("$r.ctx"):writeln()>
+<WalkVisitor("$ctx")>
+}
+  : r=selectStatement ;
+selectStatement : selectQuery limitOpt ;
+selectQuery : 'SELECT' (expr | '*') fromClause? ;
+limitOpt : ('LIMIT' NUMBER)? ;
+expr : func | IDENTIFIER | NUMBER ;
+fromClause : 'FROM' IDENTIFIER ;
+func : IDENTIFIER '(' expr ',' expr (',' expr)* ')' ;
+parenthesizedSelectQueryOrExpr : '(' (selectQuery limitOpt | expr) ')' ;
+IDENTIFIER : [a-zA-Z]+ ;
+NUMBER : [1-9][0-9]* ;
+WS : [ \r\t\n]+ -> skip ;
+>>

runtime/Java/src/org/antlr/v4/runtime/atn/LL1Analyzer.java

@@ -190,6 +190,9 @@ protected void _LOOK(@NotNull ATNState s,
 					calledRuleStack.set(s.ruleIndex);
 				}
 			}
+			if (!PredictionContext.isEmptyLocal(ctx)) {
+				return;
+			}
         }
 
         int n = s.getNumberOfTransitions();