[v3 PATCH] Implement LWG 2729 for pair.

[Christophe Lyon]

Hi,


On 26 September 2016 at 14:54, Jonathan Wakely <jwakely@redhat.com> wrote:
> On 24/09/16 21:13 +0300, Ville Voutilainen wrote:
>>
>> So, this has been applied to trunk, and also applies cleanly to the
>> gcc-6 branch, and we need
>> to backport it to fix PR libstdc++/77537. Ok for the gcc-6 branch?
>
>
> Yes, OK for gcc-6-branch too, as it fixes a regression since 5.x
>
>

I'm seeing regressions on the gcc-6-branch since this was committed,
on arm and aarch64 targets.
  - PASS now FAIL             [PASS => FAIL]:

  20_util/declval/requirements/1_neg.cc  (test for errors, line 2263)
  20_util/declval/requirements/1_neg.cc (test for excess errors)
  20_util/make_signed/requirements/typedefs_neg.cc  (test for errors, line 1928)
  20_util/make_signed/requirements/typedefs_neg.cc (test for excess errors)
  20_util/make_unsigned/requirements/typedefs_neg.cc  (test for
errors, line 1781)
  20_util/make_unsigned/requirements/typedefs_neg.cc  (test for
errors, line 1824)
  20_util/make_unsigned/requirements/typedefs_neg.cc (test for excess errors)

Error messages include:
/aci-gcc-fsf/builds/gcc-fsf-gccsrc/obj-aarch64-none-linux-gnu/gcc3/aarch64-none-linux-gnu/libstdc++-v3/include/type_traits:2270:
error: static assertion failed: declval() must not be used!

Is it just because the pattern in dg-error is *-*-* ?

Christophe