[cfe-dev] C++ status report web page

Eli Friedman eli.friedman at gmail.com
Wed Jul 2 16:53:31 PDT 2008


On Wed, Jul 2, 2008 at 4:07 PM, Bill Wendling <isanbard at gmail.com> wrote:
> On Wed, Jul 2, 2008 at 3:50 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
>> On Wed, Jul 2, 2008 at 9:22 AM, Bill Wendling <isanbard at gmail.com> wrote:
>>> Your comment is wrong for reinterpret_cast. You don't always cast
>>> from a pointer to a pointer. reinterpret_cast allows you to cast from
>>> a pointer to non-pointer, as long as the type cast to can hold the
>>> size of the pointer's value without loss of precision. So clang fails
>>> to emit an error in this situation:
>>
>> I'm not completely sure what this comment is in reply to, but I don't
>> see the relevance to this discussion.  Are you arguing that we don't
>> have full support for reinterpret_cast, and therefore shouldn't claim
>> that?
>>
> Yup! It's on Argiris' web page and should be updated with the correct
> information. So should the comment in the source code.
>
>> In any case, would you mind making sure this is filed in Bugzilla so
>> we don't lose track of it?
>>
> "Do correct semantic analysis for reinterpret_cast"? What about all of
> the 10^100 other features that don't work/aren't done for C++?

Ah, nevermind; I didn't realize that the reinterpret_cast
implementation doesn't do any typechecking at all.  It's definitely
misleading to list "reinterpret_cast" next to "Full support", and
claim we have full Sema support for "Named Casts".

-Eli



More information about the cfe-dev mailing list