[cfe-dev] RFC: unreachable catch-clauses due to superclass cathes

[Sebastian Redl]

AlisdairM(public) wrote:
>   
>> -----Original Message-----
>> From: cfe-dev-bounces at cs.uiuc.edu [mailto:cfe-dev-bounces at cs.uiuc.edu]
>> On Behalf Of Erik Verbruggen
>>   // FIXME: We should detect handlers that cannot catch anything
>> because an
>>   // earlier handler catches a superclass. Need to find a method that
>> is not
>>   // quadratic for this.
>>     
> Actually, that FIXME sounds wrong.
It's not wrong, it just doesn't tell the whole story.
>   An earlier catch handler for a superclass may not trigger due to ambiguity when using multiple inheritance.
Or because the superclass is inaccessible.

Sebastian