1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <iterator>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// reverse_iterator
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// template <class U>
15712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant//   requires HasAssign<Iter, const U&>
16712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant//   reverse_iterator&
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//   operator=(const reverse_iterator<U>& u);
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator>
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
2283e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h"
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class It, class U>
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(U u)
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    const std::reverse_iterator<U> r2(u);
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    std::reverse_iterator<It> r1;
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    std::reverse_iterator<It>& rr = r1 = r2;
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(r1.base() == u);
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(&rr == &r1);
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
358226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clowstruct Base {};
368226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clowstruct Derived : Base {};
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
408226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clow    Derived d;
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
428226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clow    test<bidirectional_iterator<Base*> >(bidirectional_iterator<Derived*>(&d));
438226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clow    test<random_access_iterator<const Base*> >(random_access_iterator<Derived*>(&d));
448226d0b7c5f9e3a4d4a2b94179234085d973841fMarshall Clow    test<Base*>(&d);
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
46