search for: qor

...t;' requested here > typedef typename A<C*>::type type; > ^ > <stdin>:6:8: note: in instantiation of template class 'B<int>' requested here > B<int> b; > ^ > > I think it would be worth filing this as a diagnostic QoR issue. We should be able to say something like > > <stdin>:3:38: error: member 'type' of 'A<B<int>::C *>' required recursively within the instantiation of 'A<B<int>::C *>', but it has not been instantiated yet Hi Richard, Is your positi...

...class 'A<B<int>::C *>' requested here typedef typename A<C*>::type type; ^ <stdin>:6:8: note: in instantiation of template class 'B<int>' requested here B<int> b; ^ I think it would be worth filing this as a diagnostic QoR issue. We should be able to say something like <stdin>:3:38: error: member 'type' of 'A<B<int>::C *>' required recursively within the instantiation of 'A<B<int>::C *>', but it has not been instantiated yet On Fri, Sep 28, 2012 at 7:51 AM, Howa...

...def typename A<C*>::type type; > > ^ > > <stdin>:6:8: note: in instantiation of template class 'B<int>' requested > here > > B<int> b; > > ^ > > > > I think it would be worth filing this as a diagnostic QoR issue. We > should be able to say something like > > > > <stdin>:3:38: error: member 'type' of 'A<B<int>::C *>' required > recursively within the instantiation of 'A<B<int>::C *>', but it has not > been instantiated yet >...

...(undesirable) instantiation of Member, because it is an associated class. I'm not sure exactly what has stopped this problem from manifesting, but the root cause superficially appears to still be present. The other problem (the one my prior message was addressing) is that we have a diagnostic QoR issue, in that we produced a diagnostic message which is factually incorrect. > On Fri, Sep 28, 2012 at 3:54 PM, Richard Smith <richard at metafoo.co.uk> > wrote: > > Reduced testcase: > > > > template<typename T> struct A { typedef decltype(T() + 0) type; }; &...

...gt; requested here > typedef typename A<C*>::type type; > ^ > <stdin>:6:8: note: in instantiation of template class 'B<int>' requested > here > B<int> b; > ^ > > I think it would be worth filing this as a diagnostic QoR issue. We should > be able to say something like > > <stdin>:3:38: error: member 'type' of 'A<B<int>::C *>' required recursively > within the instantiation of 'A<B<int>::C *>', but it has not been > instantiated yet > > On F...

...typedef typename A<C*>::type type; > > ^ > > <stdin>:6:8: note: in instantiation of template class 'B<int>' requested here > > B<int> b; > > ^ > > > > I think it would be worth filing this as a diagnostic QoR issue. We should be able to say something like > > > > <stdin>:3:38: error: member 'type' of 'A<B<int>::C *>' required recursively within the instantiation of 'A<B<int>::C *>', but it has not been instantiated yet > > Hi Richa...

That is one evil bug! I just tested it against tip-of-trunk clang and it appears to be fixed there (just fyi for everyone). Howard On Sep 27, 2012, at 7:17 PM, Adam Peterson <alpha.eta.pi at gmail.com> wrote: > Is this a relevant location to provide information about what I > believe is a compiler bug in clang? If not, please forgive me for > posting it here. (Perhaps you can

Is this a relevant location to provide information about what I believe is a compiler bug in clang? If not, please forgive me for posting it here. (Perhaps you can redirect me to some place more appropriate.) If so, here are the details: I have a short 15-line C++ program using only one standard header that clang fails to compile properly under C++11 with the new standard library (although the