1 // Copyright (C) 2016-2018 Free Software Foundation, Inc.
2 //
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)
7 // any later version.
8 //
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.
13 //
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/>.
17 //
18 
19 #include <set>
20 #include <debug/vector>
21 
22 #include <testsuite_hooks.h>
23 
24 class container : public __gnu_debug::_Safe_sequence<container>
25 {
26 public:
27   __gnu_cxx::__mutex&
get_mutex()28   get_mutex()
29   { return this->_M_get_mutex(); }
30 };
31 
32 int
main()33 main()
34 {
35   std::set<__gnu_cxx::__mutex*> mutexes;
36   container conts[17];
37 
38   for (int i = 0; i != 16; ++i)
39     VERIFY( mutexes.insert(&conts[i].get_mutex()).second );
40 
41   VERIFY( !mutexes.insert(&conts[16].get_mutex()).second );
42 }
43