]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/23_containers/unordered_set/debug/debug_functions.cc
1 // Copyright (C) 2013-2016 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
18 // { dg-options "-std=gnu++11" }
19 // { dg-require-debug-mode "" }
21 #include <unordered_set>
22 #include <testsuite_hooks.h>
26 bool test
__attribute__((unused
)) = true;
27 using namespace __gnu_debug
;
29 std::unordered_set
<int> u
= { 0, 1, 2 };
30 VERIFY( __check_dereferenceable(u
.begin()) );
32 VERIFY( __check_dereferenceable(it
) );
34 VERIFY( __check_dereferenceable(u
.cbegin()) );
36 VERIFY( __check_dereferenceable(cit
) );
38 VERIFY( !__check_dereferenceable(u
.end()) );
40 VERIFY( !__check_dereferenceable(it
) );
42 auto bucket
= u
.bucket(0);
43 VERIFY( __check_dereferenceable(u
.begin(bucket
)) );
44 auto lit
= u
.begin(bucket
);
45 VERIFY( __check_dereferenceable(lit
) );
47 VERIFY( !__check_dereferenceable(u
.end(bucket
)) );
52 bool test
__attribute__((unused
)) = true;
53 using namespace __gnu_debug
;
55 std::unordered_set
<int> u
= { 0, 1, 2 };
57 VERIFY( !__check_singular(u
.end()) );
59 VERIFY( !__check_singular(it
) );
61 VERIFY( !__check_singular(u
.begin()) );
63 VERIFY( !__check_singular(it
) );
67 VERIFY( it
._M_singular() );
68 VERIFY( __check_singular(it
) );
71 VERIFY( !it
._M_singular() );
72 VERIFY( !__check_singular(it
) );
76 auto bucket
= u
.bucket(0);
77 VERIFY( !__check_singular(u
.begin(bucket
)) );
78 auto lit
= u
.begin(bucket
);
79 VERIFY( !__check_singular(lit
) );
81 VERIFY( !__check_singular(u
.end(bucket
)) );
84 VERIFY( __check_singular(lit
) );