[Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

[Jonathan Wakely]

On 16/06/16 14:01 +0100, Jonathan Wakely wrote:
>On 16/06/16 14:00 +0100, Jonathan Wakely wrote:
>>On 15/06/16 20:07 +0200, Daniel Krügler wrote:
>>>2016-06-14 23:22 GMT+02:00 Daniel Krügler <daniel.kruegler@gmail.com>:
>>>>This is an implementation of the Standard is_swappable traits according to
>>>>
>>>>http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0185r1.html
>>>>
>>>>During that work it has been found that std::array's member swap's exception
>>>>specification for zero-size arrays was incorrectly depending on the value_type
>>>>and that was fixed as well.
>>>>
>>>>This patch is *untested*, because I cannot make the tests run on my
>>>>Windows system.
>>>>
>>>>Upon the suggestion of Mike Stump I'm proposing this patch
>>>>nonetheless, asking for sending
>>>>me as specific feedback as possible for any failing tests so that I
>>>>can try to make further
>>>>adjustments if needed.
>>>
>>>And now also with the promised patch files.
>>
>>I'm still seeing large numbers of failed static assertions, and
>>duplicate definitions. I'll try to fix them.
>
>Ah, the duplicate definitions might be because I messed up applying
>the patch.

With that fixed, the remaining failures are:

/home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:285:3:
error: static assertion failed
/home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:287:3:
error: static assertion failed
/home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:289:3:
error: static assertion failed

Those assertions fail for both 20_util/is_nothrow_swappable/value.cc
and 20_util/is_nothrow_swappable/value_ext.cc