12561885fSEric Fiselier //===----------------------------------------------------------------------===//
22561885fSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
62561885fSEric Fiselier //
72561885fSEric Fiselier //===----------------------------------------------------------------------===//
82561885fSEric Fiselier 
92561885fSEric Fiselier // <memory>
102561885fSEric Fiselier 
112561885fSEric Fiselier // unique_ptr
122561885fSEric Fiselier 
132561885fSEric Fiselier // template <class T1, class D1, class T2, class D2>
142561885fSEric Fiselier //   bool
152561885fSEric Fiselier //   operator==(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
162561885fSEric Fiselier 
172561885fSEric Fiselier // template <class T1, class D1, class T2, class D2>
182561885fSEric Fiselier //   bool
192561885fSEric Fiselier //   operator!=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
202561885fSEric Fiselier 
212561885fSEric Fiselier #include <memory>
222561885fSEric Fiselier #include <cassert>
232561885fSEric Fiselier 
247fc6a556SMarshall Clow #include "test_macros.h"
252561885fSEric Fiselier #include "deleter_types.h"
262561885fSEric Fiselier 
272561885fSEric Fiselier struct A
282561885fSEric Fiselier {
292561885fSEric Fiselier     static int count;
AA302561885fSEric Fiselier     A() {++count;}
AA312561885fSEric Fiselier     A(const A&) {++count;}
~AA322561885fSEric Fiselier     virtual ~A() {--count;}
332561885fSEric Fiselier };
342561885fSEric Fiselier 
352561885fSEric Fiselier int A::count = 0;
362561885fSEric Fiselier 
372561885fSEric Fiselier struct B
382561885fSEric Fiselier     : public A
392561885fSEric Fiselier {
402561885fSEric Fiselier     static int count;
BB412561885fSEric Fiselier     B() {++count;}
BB42*c479e0c9SLouis Dionne     B(const B& other) : A(other) {++count;}
~BB432561885fSEric Fiselier     virtual ~B() {--count;}
442561885fSEric Fiselier };
452561885fSEric Fiselier 
462561885fSEric Fiselier int B::count = 0;
472561885fSEric Fiselier 
main(int,char **)482df59c50SJF Bastien int main(int, char**)
492561885fSEric Fiselier {
502561885fSEric Fiselier     {
512561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p1(new A);
522561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p2(new A);
532561885fSEric Fiselier     assert(!(p1 == p2));
542561885fSEric Fiselier     assert(p1 != p2);
552561885fSEric Fiselier     }
562561885fSEric Fiselier     {
572561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p1(new A);
582561885fSEric Fiselier     const std::unique_ptr<B, Deleter<B> > p2(new B);
592561885fSEric Fiselier     assert(!(p1 == p2));
602561885fSEric Fiselier     assert(p1 != p2);
612561885fSEric Fiselier     }
622561885fSEric Fiselier     {
632561885fSEric Fiselier     const std::unique_ptr<A[], Deleter<A[]> > p1(new A[3]);
642561885fSEric Fiselier     const std::unique_ptr<A[], Deleter<A[]> > p2(new A[3]);
652561885fSEric Fiselier     assert(!(p1 == p2));
662561885fSEric Fiselier     assert(p1 != p2);
672561885fSEric Fiselier     }
682561885fSEric Fiselier     {
692561885fSEric Fiselier     const std::unique_ptr<A[], Deleter<A[]> > p1(new A[3]);
702561885fSEric Fiselier     const std::unique_ptr<B[], Deleter<B[]> > p2(new B[3]);
712561885fSEric Fiselier     assert(!(p1 == p2));
722561885fSEric Fiselier     assert(p1 != p2);
732561885fSEric Fiselier     }
742561885fSEric Fiselier     {
752561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p1;
762561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p2;
772561885fSEric Fiselier     assert(p1 == p2);
782561885fSEric Fiselier     assert(!(p1 != p2));
792561885fSEric Fiselier     }
802561885fSEric Fiselier     {
812561885fSEric Fiselier     const std::unique_ptr<A, Deleter<A> > p1;
822561885fSEric Fiselier     const std::unique_ptr<B, Deleter<B> > p2;
832561885fSEric Fiselier     assert(p1 == p2);
842561885fSEric Fiselier     assert(!(p1 != p2));
852561885fSEric Fiselier     }
862df59c50SJF Bastien 
872df59c50SJF Bastien   return 0;
882561885fSEric Fiselier }
89