1// Copyright (C) 2004-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#include <debug/bitset>
19#include <testsuite_hooks.h>
20
21// libstdc++/13838
22void test01()
23{
24  using __gnu_debug::bitset;
25  bool test __attribute__((unused)) = true;
26
27  bitset<4>  b0, b1;
28  b0.set(1);
29  b0.set(3);
30  b1.set(2);
31  b1.set(3);
32
33  b0 |= b1;
34
35  bitset<4>  br;
36  br.set(1);
37  br.set(2);
38  br.set(3);
39
40  VERIFY( b0 == br );
41}
42
43int main()
44{
45  test01();
46}
47