[Checkers] Javac Bug Reports
mahmood at MIT.EDU
Sat May 17 17:11:55 EDT 2008
>> Do you have examples or test cases for any of these assertion
> 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.
More information about the checkers