[Checkers] Javac Bug Reports

Mahmood Ali mahmood at MIT.EDU
Sat May 17 16:37:53 EDT 2008


Hi Matt,


>
> 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
> 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'.

I will come up with something quickly.

- Mahmood
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080517/820b348a/attachment.htm 


More information about the checkers mailing list