Re: C++ PATCH for c++/44870 (wrong overload resolution error in template)

2011-06-01 Thread Jason Merrill
On 05/31/2011 02:05 PM, Jason Merrill wrote: So this patch makes us look through NON_DEPENDENT_EXPR at the actual underlying tree structure. It occurred to me that if we're going to do this, we don't need to keep reference INDIRECT_REFs outside NON_DEPENDENT_EXPR. Tested x86_64-pc-linux-gnu,

Re: C++ PATCH for c++/44870 (wrong overload resolution error in template)

2011-06-01 Thread H.J. Lu
On Tue, May 31, 2011 at 11:05 AM, Jason Merrill wrote: > lvalue_kind has tried to give an approximate answer for value category in > templates; in the past, it was OK to say that an arbitrary expression was an > lvalue, as the only effect would be that errors we could have given at > template defi

C++ PATCH for c++/44870 (wrong overload resolution error in template)

2011-05-31 Thread Jason Merrill
lvalue_kind has tried to give an approximate answer for value category in templates; in the past, it was OK to say that an arbitrary expression was an lvalue, as the only effect would be that errors we could have given at template definition time would be delayed until instantiation, which is s