[Bug libstdc++/77987] unique_ptr<T[]> reset rejects cv-compatible pointers

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77987

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Mon Oct 17 18:21:26 2016
New Revision: 241276

URL: https://gcc.gnu.org/viewcvs?rev=241276&root=gcc&view=rev
Log:
PR77987 Fix unique_ptr<T[], D>::reset(U) for T != U

        PR libstdc++/77987
        * include/bits/unique_ptr.h (unique_ptr<T[], D>::reset<U>(U)): Copy
        value to pointer of the correct type to swap, to support conversions
        allowed by LWG 2118 / N4089.
        * testsuite/20_util/unique_ptr/assign/assign_neg.cc: Move test for
        incompatible deleters from ...
        * testsuite/20_util/unique_ptr/assign/cv_qual.cc: ... here.
        * testsuite/20_util/unique_ptr/modifiers/cv_qual.cc: Move tests for
        incompatible pointers to ...
        * testsuite/20_util/unique_ptr/modifiers/reset_neg.cc: ... here. Move
        destructor definition to base class. Test for invalid derived-to-base
        conversion.

Modified:
    branches/gcc-6-branch/libstdc++-v3/ChangeLog
    branches/gcc-6-branch/libstdc++-v3/include/bits/unique_ptr.h
   
branches/gcc-6-branch/libstdc++-v3/testsuite/20_util/unique_ptr/assign/assign_neg.cc
   
branches/gcc-6-branch/libstdc++-v3/testsuite/20_util/unique_ptr/assign/cv_qual.cc
   
branches/gcc-6-branch/libstdc++-v3/testsuite/20_util/unique_ptr/modifiers/cv_qual.cc
   
branches/gcc-6-branch/libstdc++-v3/testsuite/20_util/unique_ptr/modifiers/reset_neg.cc