[Checkers] Bug report: compiler and checker framework crash

[Michael Ernst]

Here is a test case that crashes the Checker Framework when run without the
annotated JDK on -sourcepath and crashes the JSR 308 compiler when run with
the annotated JDK on -sourcepath.  It also produces some odd, possibly
spurious, warning messages.  Could you look into these and, if possible,
fix them before this week's release?

To reproduce the problems:

tar xvf jutil.tar.gz
cd JUtil

# Edit "executable=" clause in build.xml to set the full pathname to javac.

# The "rm -rf java" lines below are to avoid a compiler crash on the next
# execution, due to using compiled files from the annotated JDK.

ant check-nullness > ../ant-check-nullness
rm -rf java

ant check-nullness2 > ../ant-check-nullness2
rm -rf java


                     Thanks,

                    -Mike


-------------- next part --------------
A non-text attachment was scrubbed...
Name: jutil.tar.gz
Type: application/octet-stream
Size: 253536 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080702/d8b8bf03/attachment-0003.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ant-check-nullness
Type: application/octet-stream
Size: 8061 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080702/d8b8bf03/attachment-0004.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ant-check-nullness2
Type: application/octet-stream
Size: 29992 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080702/d8b8bf03/attachment-0005.obj