This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [C++ PATCH] Fix 21799


Nathan Sidwell <nathan@codesourcery.com> wrote:

>> This patch fixes 21799 a latent deduction bug exposed by my
implementation
>> of DR214.  We cannot deduce T as 'X const' against a pointer to constant
>> member function, for instance.  The CV qualifiers must match exactly.  I
>> took the same approach for a restrict qualifier.
>>
>> booted & tested on i686-pc-linux-gnu, installed on mainline.
>> queued for 4.0.2

Well you're special casing method_type. The correct fix would be to encode
the CV qualification within the METHOD_TYPE instead of within the "this"
pointer in the arguments. If we did this, we would not need any special
case.
-- 
Giovanni Bajo


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]