Crash in AbstractAtmComboVisitor

[GoogleCodeExporter]

Another crash that occurs with: 
http://tern.cs.washington.edu:8080/job/checker-framework/jdk=JDK_7/245/

Original issue reported on code.google.com by cus...@google.com on 25 Mar 2015 at 1:24

Attachments:

• stacktrace.txt

[GoogleCodeExporter]

Thanks for the report!
Jonathan, can you have a look?

Original comment by wdi...@gmail.com on 25 Mar 2015 at 9:37

• Changed state: Accepted
• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Can you please provide a test case for this one?  Thanks!

Original comment by michael.ernst@gmail.com on 25 Mar 2015 at 5:30

[GoogleCodeExporter]

I found a repro:

=== Test.java ===

public class Test {
  public <T> boolean f(T newValue, T oldValue) {
    return (oldValue instanceof Boolean || oldValue instanceof Integer)
      && oldValue.equals(newValue);
  }
}

===

$ javac -processor org.checkerframework.checker.nullness.NullnessChecker  
-AprintErrorStack Test.java

error: Incomparable types ( Serializable & Comparable<?[ extends Serializable & 
Comparable<?[ extends Object super Void]> super Void]>, T[ extends Object super 
Void])visitHistory = VisitHistory(  )
  Compilation unit: Test.java
  Exception: java.lang.Throwable; Stack trace: org.checkerframework.framework.source.SourceChecker.errorAbort(SourceChecker.java:622)

...

Original comment by cus...@google.com on 25 Mar 2015 at 9:51

[GoogleCodeExporter]

Thank you.  I have repro'd this locally and will take a look.

Original comment by jbu...@cs.washington.edu on 25 Mar 2015 at 10:02

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 9 Apr 2015 at 11:57

• Changed state: Pushed

[GoogleCodeExporter]

Original comment by jtha...@cs.washington.edu on 18 Apr 2015 at 6:42

• Changed state: Fixed