[Checkers] Javac Bug Reports

Mahmood Ali mahmood at MIT.EDU
Sat May 17 17:11:55 EDT 2008

>> Do you have examples or test cases for any of these assertion
>> failures?
> I did not pin in down to a simple test case yet.  When running the  
> interned checker on Daikon and FreePastry with assertions on, I am  
> getting an assertion failure at line 235 'assert idx >= 0'.
> I assume that you noticed the assertion failing since it's followed  
> by an 'if (idx < 0) return'.
Actually upon more investigation, I realized that it's a bug in Flow,  
as the assertion always fails when accessing fields on other objects,  
as the field wouldn't exist in the scope.

- Mahmood

More information about the checkers mailing list