29 		CHECK(slice.size() == 0);  in tests()
34 		CHECK(slice.size() == 1);  in tests()
35 		CHECK(&slice[0] == &array[0]);  in tests()
40 		CHECK(slice.size() == 2);  in tests()
41 		CHECK(&slice[0] == &array[0]);  in tests()
42 		CHECK(&slice[1] == &array[1]);  in tests()
47 		CHECK(slice.size() == 5);  in tests()
48 		CHECK(&slice[0] == &array[0]);  in tests()
49 		CHECK(&slice[1] == &array[1]);  in tests()
50 		CHECK(&slice[2] == &array[2]);  in tests()
51 		CHECK(&slice[3] == &array[3]);  in tests()
52 		CHECK(&slice[4] == &array[4]);  in tests()
58 		CHECK(tracking_policy::did_trap);  in tests()
59 …CHECK(tracking_policy::message == "bounded_array_ref: invalid slice provided, the indices are of b…  in tests()
66 		CHECK(slice.size() == 0);  in tests()
71 		CHECK(slice.size() == 3);  in tests()
72 		CHECK(&slice[0] == &array[1]);  in tests()
73 		CHECK(&slice[1] == &array[2]);  in tests()
74 		CHECK(&slice[2] == &array[3]);  in tests()
79 		CHECK(slice.size() == 4);  in tests()
80 		CHECK(&slice[0] == &array[1]);  in tests()
81 		CHECK(&slice[1] == &array[2]);  in tests()
82 		CHECK(&slice[2] == &array[3]);  in tests()
83 		CHECK(&slice[3] == &array[4]);  in tests()
89 		CHECK(tracking_policy::did_trap);  in tests()
95 		CHECK(tracking_policy::did_trap);  in tests()
102 		CHECK(slice.size() == 0);  in tests()
107 		CHECK(slice.size() == 2);  in tests()
108 		CHECK(&slice[0] == &array[3]);  in tests()
109 		CHECK(&slice[1] == &array[4]);  in tests()
115 		CHECK(tracking_policy::did_trap);  in tests()
121 		CHECK(tracking_policy::did_trap);  in tests()
128 		CHECK(slice.size() == 0);  in tests()
133 		CHECK(slice.size() == 1);  in tests()
134 		CHECK(&slice[0] == &array[4]);  in tests()
140 		CHECK(tracking_policy::did_trap);  in tests()
147 		CHECK(slice.size() == 0);  in tests()
153 		CHECK(tracking_policy::did_trap);  in tests()
159 		CHECK(tracking_policy::did_trap);  in tests()
167 		CHECK(tracking_policy::did_trap);  in tests()
173 		CHECK(tracking_policy::did_trap);  in tests()
179 		CHECK(tracking_policy::did_trap);  in tests()
189 		CHECK(tracking_policy::did_trap);  in tests()
190 …CHECK(tracking_policy::message == "bounded_array_ref: n + m is larger than the size of any bounded…  in tests()
197 		CHECK(slice.begin() == view.begin() + 3);  in tests()
198 		CHECK(slice.end() == view.begin() + 3 + 2);  in tests()
205 		CHECK(slice.size() == 2);  in tests()
206 		CHECK(&slice[0] == &array[3]);  in tests()
207 		CHECK(&slice[1] == &array[4]);  in tests()
214 		CHECK(slice.size() == 0);  in tests()
220 		CHECK(tracking_policy::did_trap);  in tests()