[Checkers] Javac Bug Reports
mahmood at MIT.EDU
Sat May 17 16:37:53 EDT 2008
> Cool. Actually, if it's not inconvenient, do you think you could open
> one for the exception parameter bug (in which the elements for catch
> variables don't have the correct ElementKind)?
That's OK with me. Send me the sample case and I will take care of it.
> 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'.
I will come up with something quickly.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the checkers