TypeFromElement.annotateSupers aborts when type checking modified Daikon code

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Log in to tern.cs.washington.edu
2. cd /www/secs-jenkins/bug_repros/typefromelement_daikon_crash/java
3. ./repro

What is the expected output?
Type checking completes without aborting.

What do you see instead?
The Checker Framework aborts with the attached stack trace.

What version of the product are you using?
Checker Framework 1.8.9.

On what operating system?
RHEL 6.6 64-bit.

Note: the Daikon code under 
/www/secs-jenkins/bug_repros/typefromelement_daikon_crash/java includes changes 
that have not yet been pushed

Original issue reported on code.google.com by jtha...@cs.washington.edu on 7 Jan 2015 at 12:20

Attachments:

• stacktrace.txt

[GoogleCodeExporter]

if you insert daikon/diff/*.java at the end of the command line prior to 
daikon/test/diff/DetailStatisticsVisitorTest.java then all works as expected.

Original comment by mar...@cs.washington.edu on 7 Jan 2015 at 7:07

[GoogleCodeExporter]

Jonathan verified that this issue is fixed as part of the type variables work 
that is not yet pushed to the main repository. Leaving the priority as-is since 
no one is blocked on it to my knowledge. Leaving the issue open until it is 
fixed in the main repository.

Original comment by jtha...@cs.washington.edu on 12 Jan 2015 at 7:54

• Changed state: Accepted

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 8 Apr 2015 at 9:16

• Changed state: Pushed

[GoogleCodeExporter]

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

• Changed state: Fixed