StackOverflowError when generating Control Flow Graph

[GoogleCodeExporter]

>> What steps will reproduce the problem?

1. compile the attached file with the checkers javac 
    version javac 1.8.0-jsr308-1.7.4 
    with the Nullness Checker (checkers.nullness.NullnessChecker) enabled

>> What is the expected output? 

  expected success

>> What do you see instead?

error: SourceChecker.typeProcess: unexpected Throwable (StackOverflowError) 
while processing NullnessCheckerTest2014.java
  Compilation unit: NullnessCheckerTest2014.java
  Exception: java.lang.StackOverflowError; Stack trace: java.util.HashMap.addEntry(HashMap.java:888)
  java.util.HashMap.put(HashMap.java:509) 
  java.util.HashSet.add(HashSet.java:217) 
  dataflow.cfg.ControlFlowGraph.addDFSPostorder(ControlFlowGraph.java:182) 
  dataflow.cfg.ControlFlowGraph.addDFSPostorder(ControlFlowGraph.java:205) 
  dataflow.cfg.ControlFlowGraph.addDFSPostorder(ControlFlowGraph.java:205) 
  dataflow.cfg.ControlFlowGraph.addDFSPostorder(ControlFlowGraph.java:205) 
...

>> What version of the product are you using? On what operating system?

  Windows 7 / probably not matters
  checkers: javac 1.8.0-jsr308-1.7.4 
  runtime for the checker: jdk1.7.0_51

>> Please provide any additional information below.

my detailled command items to programaticaly invoke the checker 

[
c:/java/jdks/jdk1.7.0_51/bin/java.exe, 
-Xbootclasspath/p:"C:\Java\checker-framework-1.7.4\binary\checkers.jar", 
-jar,
C:\Java\checker-framework-1.7.4\binary\checkers.jar,
-processor, 
checkers.nullness.NullnessChecker, 
-implicit:class,
-Awarns, 
-AprintErrorStack,
-version, 
-d, 
C:\test\classes, 
-g, 
-classpath,
C:\test\libs\junit.jar,
NullnessCheckerTest2014
 ]

Original issue reported on code.google.com by Stephan....@gmail.com on 27 Feb 2014 at 5:09

Attachments:

• NullnessCheckerTest2014.java

[GoogleCodeExporter]

Thanks for that test case!
I can reproduce the problem, either by using -J-Xss400k or by adding nearly 
twice as many lines.
I'll look into how to restructure the code.

Original comment by wdi...@gmail.com on 27 Feb 2014 at 5:59

• Changed state: Accepted

[GoogleCodeExporter]

Original comment by wdi...@gmail.com on 27 Feb 2014 at 6:00

• Changed title: _StackOverflowError when generating Control Flow Graph _

[GoogleCodeExporter]

A fix is out for review and will be pushed soon.

Original comment by wdi...@gmail.com on 28 Feb 2014 at 2:00

• Changed state: Started

[GoogleCodeExporter]

Original comment by wdi...@gmail.com on 7 Mar 2014 at 7:26

• Changed state: Pushed

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 3 Apr 2014 at 12:59

• Changed state: Fixed