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// <vector>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// iterator erase(const_iterator position);
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <vector>
156b913d7c527b6ced23a26f3a0b633cee2fe4aa1aMarshall Clow#include <iterator>
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
18061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
191f50f2d64baeb8130e1f47c379c12ee5d2400b72Marshall Clow#include "asan_testing.h"
202c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
232c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    {
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    int a1[] = {1, 2, 3};
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    std::vector<int> l1(a1, a1+3);
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    std::vector<int>::const_iterator i = l1.begin();
2784acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    ++i;
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    std::vector<int>::iterator j = l1.erase(i);
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(l1.size() == 2);
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 2);
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(*j == 3);
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(*l1.begin() == 1);
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(*next(l1.begin()) == 3);
3584acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    j = l1.erase(j);
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(j == l1.end());
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(l1.size() == 1);
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 1);
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(*l1.begin() == 1);
4184acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    j = l1.erase(l1.begin());
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(j == l1.end());
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(l1.size() == 0);
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 0);
4684acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
472c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    }
48d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier#if TEST_STD_VER >= 11
492c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    {
502c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    int a1[] = {1, 2, 3};
512c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    std::vector<int, min_allocator<int>> l1(a1, a1+3);
522c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    std::vector<int, min_allocator<int>>::const_iterator i = l1.begin();
5384acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
542c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    ++i;
552c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    std::vector<int, min_allocator<int>>::iterator j = l1.erase(i);
562c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(l1.size() == 2);
572c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 2);
582c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(*j == 3);
592c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(*l1.begin() == 1);
602c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(*next(l1.begin()) == 3);
6184acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
622c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    j = l1.erase(j);
632c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(j == l1.end());
642c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(l1.size() == 1);
652c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 1);
662c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(*l1.begin() == 1);
6784acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
682c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    j = l1.erase(l1.begin());
692c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(j == l1.end());
702c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(l1.size() == 0);
712c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    assert(distance(l1.begin(), l1.end()) == 0);
7284acb1ec3f7d5e0f37d7176697c2fa876c413407Eric Fiselier    assert(is_contiguous_container_asan_correct(l1));
732c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant    }
742c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant#endif
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
76