1// Copyright (C) 2013-2015 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// { dg-do run { xfail *-*-* } }
19
20#include <vector>
21#include <debug/vector>
22#include <debug/checks.h>
23
24void test01()
25{
26  std::vector<bool> v;
27  __gnu_debug::vector<bool> dv;
28  for (int i = 0; i != 10; ++i)
29    {
30      v.push_back((i % 2) != 0);
31      dv.push_back((i % 2) == 0);
32    }
33
34  dv.insert(dv.begin(), v.begin(), v.begin() + 5);
35  VERIFY( dv.size() == 15 );
36}
37
38void test02()
39{
40  __gnu_test::check_insert4<__gnu_debug::vector<bool> >();
41}
42
43int main()
44{
45  test01();
46  test02();
47  return 0;
48}
49