janhaag/PSE2011 — Issue #86: NPException in Parser
Author: janhaag
Created: 2012-03-04 20:28:00+00:00
State: open
Labels: Parser

The following program throws a NPException:

main() {
assert a
}

java.lang.NullPointerException
at java.util.LinkedList.addAll(Unknown Source)
at java.util.LinkedList.addAll(Unknown Source)
at parser.WhileLanguageParser.qe_helper(WhileLanguageParser.java:2441)
at parser.WhileLanguageParser.quantified_expression(WhileLanguageParser.java:2311)
at parser.WhileLanguageParser.assert_statement(WhileLanguageParser.java:1382)
at parser.WhileLanguageParser.statement(WhileLanguageParser.java:1079)