[cfe-dev] static_cast and dynamic_cast semantic checks

[Sebastian Redl]

Sebastian Redl wrote:
> Sebastian Redl wrote:
>> Sebastian Redl wrote:
>>> Hi,
>>>
>>> Attached patch contains semantic checks for dynamic_cast and 
>>> static_cast, as far as the current class support allows either. This 
>>> also subsumes the small patch I asked permission for on Friday, 
>>> which was a side effect of my static_cast work.
>> Aaaaand ... here's the updated version, merged with Doug's big patch.
> And another one, merged with the reference patch and with the 
> reference hack unwraps removed.
Another update. This adds a rudimentary implementation of 8.5.3 
(reference binding) to TryCopyInitialization. This allows references to 
bind to less cv-qualified versions of the same type as well as to 
subclasses of the reference type, which is a considerable improvement 
over the current situation. Subclass checking is not as stringent as it 
should be.
This isn't in the actual initialization code yet, but it works for 
static_cast and should work for argument passing.

Sebastian
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: cast.patch
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20081028/62f23ca8/attachment.ksh>