1// 2003-05-01 Petur Runolfsson  <peturr02@ru.is>
2
3// Copyright (C) 2001, 2002, 2003, 2009 Free Software Foundation, Inc.
4//
5// This file is part of the GNU ISO C++ Library.  This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14// GNU General Public License for more details.
15
16// You should have received a copy of the GNU General Public License along
17// with this library; see the file COPYING3.  If not see
18// <http://www.gnu.org/licenses/>.
19
20
21#include <fstream>
22#include <iostream>
23#include <testsuite_hooks.h>
24
25class gnu_filebuf: public std::wfilebuf
26{
27  int i;
28public:
29  gnu_filebuf(int j = 1): i(j) { }
30  ~gnu_filebuf() { --i; }
31  int get_i() { return i;}
32};
33
34const int initial = 4;
35gnu_filebuf buf(initial);
36
37// libstdc++/3045, in a vague way.
38void test01()
39{
40  bool test __attribute__((unused)) = true;
41  int k1;
42
43  // 1 normal
44  k1 = buf.get_i();
45  VERIFY( k1 == initial );
46  {
47    std::wcout.rdbuf(&buf);
48  }
49  k1 = buf.get_i();
50  VERIFY( k1 == initial );
51
52  // 2 syncd off
53  k1 = buf.get_i();
54  VERIFY( k1 == initial );
55  {
56    std::wcout.rdbuf(&buf);
57    std::ios_base::sync_with_stdio(false); // make sure doesn't clobber buf
58  }
59  k1 = buf.get_i();
60  VERIFY( k1 == initial );
61
62  // 3 callling init
63  k1 = buf.get_i();
64  VERIFY( k1 == initial );
65  {
66    std::wcout.rdbuf(&buf);
67    std::ios_base::Init make_sure_initialized;
68  }
69  k1 = buf.get_i();
70  VERIFY( k1 == initial );
71}
72
73int main()
74{
75  test01();
76  return 0;
77}
78