From patchwork Mon Nov 19 22:35:57 2012
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Apply recent DRs resolutions to libstdc++
Date: Mon, 19 Nov 2012 12:35:57 -0000
From: Jonathan Wakely <jwakely.gcc@gmail.com>
X-Patchwork-Id: 200207
Message-Id: <CAH6eHdR70APC-GL_JjBPsVLvokXaX=gn53SQbftueppejMXCjg@mail.gmail.com>
To: "libstdc++" <libstdc++@gcc.gnu.org>, gcc-patches <gcc-patches@gcc.gnu.org>

A small improvement:

        * testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
        and improve propagate_on_container_move_assignment check.

Tested x86_64-linux, committed to trunk.
commit 9d600a18ed7750ca21232b766f8b90d295b8e2ec
Author: Jonathan Wakely <jwakely.gcc@gmail.com>
Date:   Mon Nov 19 22:32:57 2012 +0000

    	* testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
    	and improve propagate_on_container_move_assignment check.


diff --git a/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc
index 37d5032..78536de 100644
--- a/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc
+++ b/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc
@@ -42,5 +42,10 @@ static_assert( is_same<allocator<int>::const_reference, const int&>::value,
 static_assert( is_same<allocator<int>::value_type, int>::value,
                "value_type" );
 
-static_assert( allocator<int>::propagate_on_container_move_assignment::value,
-               "propagate_on_container_move_assignment is true" );
+static_assert( is_same<allocator<int>::rebind<char>::other,
+                       allocator<char>>::value,
+               "rebind::other" );
+
+static_assert( is_same<allocator<int>::propagate_on_container_move_assignment,
+                       std::true_type>::value,
+               "propagate_on_container_move_assignment" );