[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #13 from Jonathan Wakely 2011-12-09 19:32:28 UTC --- The issue is what the "correct" definition of the trait is, but I think we need a DR to clarify it

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #12 from Paolo Carlini 2011-12-09 18:37:37 UTC --- Thus Daniel was wrong when he said that fixing 51295 automatically renders correct his current implementation of the trait? I suspect there is a misunderstanding here: we are in contr

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Jonathan Wakely changed: What|Removed |Added Status|RESOLVED|REOPENED Last reconfirmed|

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread dave at boostpro dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Dave Abrahams changed: What|Removed |Added CC||dave at boostpro dot com --- Comment #10

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Paolo Carlini changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #8 from Jonathan Wakely 2011-12-09 16:02:11 UTC --- Corrected testcase: struct X { X() noexcept; ~X() noexcept(false); }; static_assert( noexcept( X() ), "fails because of ~X" ); static_assert( noexcept(new (nu

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-09 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #7 from Daniel Krügler 2011-12-09 15:57:15 UTC --- Please note that this issue here is a simply a dup of bug 51295, which is a compiler defect and *not* a library problem. See [class.dtor] p3: "A declaration of a destructor that does

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #6 from Jonathan Wakely 2011-12-07 19:03:30 UTC --- c++std-lib-30708 has Daniel's explanation of his interpretation, as implemented in GCC. FWIW I prefer your interpretation, but will peace Daniel to comment further

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread d...@boost-consulting.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #5 from d...@boost-consulting.com 2011-12-07 18:41:12 UTC --- (In reply to comment #1) > I think this is by design, see the thread beginning with c++std-lib-30698 > > I've been surprised by that reasoning several times e.g. > http://gc

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #4 from Jonathan Wakely 2011-12-07 17:38:39 UTC --- yes, I keep forgetting that noexcept should be implied on dtors now

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Paolo Carlini changed: What|Removed |Added CC||redi at gcc dot gnu.org --- Comment #3 fr

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Paolo Carlini changed: What|Removed |Added CC||daniel.kruegler at |

[Bug libstdc++/51452] has_nothrow_.*constructor bugs

2011-12-07 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #1 from Jonathan Wakely 2011-12-07 17:16:58 UTC --- I think this is by design, see the thread beginning with c++std-lib-30698 I've been surprised by that reasoning several times e.g. http://gcc.gnu.org/ml/gcc-help/2011-11/msg00015.ht