[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #9 from Daniel Krügler 2011-11-29 11:36:34 UTC --- (In reply to comment #8) > Looks interesting, although since we're talking about a future standard (at > least I assume that's what you are talking about? Or are temploids coming up

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread marc.glisse at normalesup dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 Marc Glisse changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #7 from Daniel Krügler 2011-11-29 10:50:37 UTC --- (In reply to comment #5) > All right, now the is_abstract behavior is settled, do you think the fixed > code > provided by Daniel in comment #1 should produce a warning, since the >

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread marc.glisse at normalesup dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 Marc Glisse changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread marc.glisse at normalesup dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #5 from Marc Glisse 2011-11-29 10:27:18 UTC --- All right, now the is_abstract behavior is settled, do you think the fixed code provided by Daniel in comment #1 should produce a warning, since the declaration is absolutely useless (I

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-29 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #4 from Paolo Carlini 2011-11-29 10:11:34 UTC --- The issue with type_traits intrinsics vs instantiation came up recently, when I fixed an actual bug affecting __is_base_of. Note, if isn't clear already, that in the case of is_abstrac

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #3 from Daniel Krügler 2011-11-29 07:08:45 UTC --- (In reply to comment #1) > When you instantiate A, the declaration of the template constructor > is > also instantiated, but at that point A is an incomplete type. I just recognize

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-28 Thread marc.glisse at normalesup dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 --- Comment #2 from Marc Glisse 2011-11-28 21:17:30 UTC --- (In reply to comment #1) > IMO you need one further indirection, e.g. Ah, yes, makes sense (although clang accepts both versions). > Btw.: Neither of these forms can ever prevent the "

[Bug c++/51336] [C++11] is_abstract and sfinae

2011-11-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51336 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler at |