public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails
[not found] <bug-62085-4@http.gcc.gnu.org/bugzilla/>
@ 2014-08-11 10:12 ` redi at gcc dot gnu.org
2014-08-12 23:03 ` jameslyon0 at gmail dot com
2015-07-10 14:17 ` paolo.carlini at oracle dot com
2 siblings, 0 replies; 3+ messages in thread
From: redi at gcc dot gnu.org @ 2014-08-11 10:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62085
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
For a short piece of code with no external dependencies it's simpler to just
paste it into a comment than attach it:
template<typename T>
struct A {
T f();
};
template<typename T, typename Enable=void> struct B {};
template<typename T> struct B<T, typename A<T>::type> {};
struct C {
virtual ~C() = 0;
};
int main() {
B<C>();
}
EDG rejects it for the same reason as GCC.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails
[not found] <bug-62085-4@http.gcc.gnu.org/bugzilla/>
2014-08-11 10:12 ` [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails redi at gcc dot gnu.org
@ 2014-08-12 23:03 ` jameslyon0 at gmail dot com
2015-07-10 14:17 ` paolo.carlini at oracle dot com
2 siblings, 0 replies; 3+ messages in thread
From: jameslyon0 at gmail dot com @ 2014-08-12 23:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62085
--- Comment #3 from James Lyon <jameslyon0 at gmail dot com> ---
Thanks for looking! Unfortunately I don't have access to EDG. I have dug
through the standard and it seems my understanding of SFINAE was (is) a
bit lacking and GCC is indeed correct. It seems there's a bug in clang
here instead.
On 11/08/14 11:12, redi at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62085
>
> --- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
> For a short piece of code with no external dependencies it's simpler to just
> paste it into a comment than attach it:
>
> template<typename T>
> struct A {
> T f();
> };
>
> template<typename T, typename Enable=void> struct B {};
> template<typename T> struct B<T, typename A<T>::type> {};
>
> struct C {
> virtual ~C() = 0;
> };
>
> int main() {
> B<C>();
> }
>
>
> EDG rejects it for the same reason as GCC.
>
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails
[not found] <bug-62085-4@http.gcc.gnu.org/bugzilla/>
2014-08-11 10:12 ` [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails redi at gcc dot gnu.org
2014-08-12 23:03 ` jameslyon0 at gmail dot com
@ 2015-07-10 14:17 ` paolo.carlini at oracle dot com
2 siblings, 0 replies; 3+ messages in thread
From: paolo.carlini at oracle dot com @ 2015-07-10 14:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62085
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Not a bug. See: https://gcc.gnu.org/ml/gcc/2015-07/msg00148.html
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-07-10 14:17 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-62085-4@http.gcc.gnu.org/bugzilla/>
2014-08-11 10:12 ` [Bug c++/62085] SFINAE where specialization parameter class member returns an abstract type fails redi at gcc dot gnu.org
2014-08-12 23:03 ` jameslyon0 at gmail dot com
2015-07-10 14:17 ` paolo.carlini at oracle dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).