[cfe-commits] r85405 - /cfe/trunk/www/cxx_status.html

[Douglas Gregor]

On Oct 28, 2009, at 10:51 AM, Sebastian Redl wrote:

> Fariborz Jahanian wrote:
>> Author: fjahanian
>> Date: Wed Oct 28 12:25:01 2009
>> New Revision: 85405
>>
>> URL: http://llvm.org/viewvc/llvm-project?rev=85405&view=rev
>> Log:
>> Removed a Note related to pointer to member functions which
>> does not seem to exist any longer.
>>
> Yes it does. See the last FIXME in CheckPointerToMemberOperands in
> SemaExprCXX.cpp.
> It's not a big issue, since there is no grammatically correct way to  
> use
> this expression, but the issue exists - if the compiler were to accept
> this, the assertion would hold under our implementation:
>
> struct S { void f(); };
> void g();
> S s;
> void (S::*pf)() = &S::f;
> static_assert(same_type<decltype(g), decltype(s.*pf)>::value);


Ah, interesting. Thanks for the clarification, Sebastian!

	- Doug