ctolkmit / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

Crash in AbstractAtmComboVisitor #422

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
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:

GoogleCodeExporter commented 9 years ago
Thanks for the report!
Jonathan, can you have a look?

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

GoogleCodeExporter commented 9 years ago
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 commented 9 years ago
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 commented 9 years ago
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 commented 9 years ago

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

GoogleCodeExporter commented 9 years ago

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