1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <deque>
10
11 // void pop_back()
12
13 #include "asan_testing.h"
14 #include <deque>
15 #include <cassert>
16 #include <cstddef>
17
18 #include "test_macros.h"
19 #include "min_allocator.h"
20
21 template <class C>
22 C
make(int size,int start=0)23 make(int size, int start = 0 )
24 {
25 const int b = 4096 / sizeof(int);
26 int init = 0;
27 if (start > 0)
28 {
29 init = (start+1) / b + ((start+1) % b != 0);
30 init *= b;
31 --init;
32 }
33 C c(init, 0);
34 for (int i = 0; i < init-start; ++i)
35 c.pop_back();
36 for (int i = 0; i < size; ++i)
37 c.push_back(i);
38 for (int i = 0; i < start; ++i)
39 c.pop_front();
40 return c;
41 }
42
43 template <class C>
44 void
test(C & c1)45 test(C& c1)
46 {
47 typedef typename C::iterator I;
48 std::size_t c1_osize = c1.size();
49 c1.pop_back();
50 assert(c1.size() == c1_osize - 1);
51 assert(static_cast<std::size_t>(std::distance(c1.begin(), c1.end())) == c1.size());
52 LIBCPP_ASSERT(is_double_ended_contiguous_container_asan_correct(c1));
53 I i = c1.begin();
54 for (int j = 0; static_cast<std::size_t>(j) < c1.size(); ++j, ++i)
55 assert(*i == j);
56 }
57
58 template <class C>
59 void
testN(int start,int N)60 testN(int start, int N)
61 {
62 if (N != 0)
63 {
64 C c1 = make<C>(N, start);
65 test(c1);
66 }
67 }
68
main(int,char **)69 int main(int, char**)
70 {
71 {
72 int rng[] = {0, 1, 2, 3, 1023, 1024, 1025, 2047, 2048, 2049};
73 const int N = sizeof(rng)/sizeof(rng[0]);
74 for (int i = 0; i < N; ++i)
75 for (int j = 0; j < N; ++j)
76 testN<std::deque<int> >(rng[i], rng[j]);
77 }
78 #if TEST_STD_VER >= 11
79 {
80 int rng[] = {0, 1, 2, 3, 1023, 1024, 1025, 2047, 2048, 2049};
81 const int N = sizeof(rng)/sizeof(rng[0]);
82 for (int i = 0; i < N; ++i)
83 for (int j = 0; j < N; ++j)
84 testN<std::deque<int, min_allocator<int>> >(rng[i], rng[j]);
85 }
86 {
87 int rng[] = {0, 1, 2, 3, 1023, 1024, 1025, 2047, 2048, 2049};
88 const int N = sizeof(rng)/sizeof(rng[0]);
89 for (int i = 0; i < N; ++i)
90 for (int j = 0; j < N; ++j)
91 testN<std::deque<int, safe_allocator<int>> >(rng[i], rng[j]);
92 }
93 #endif
94
95 return 0;
96 }
97