1// Copyright (C) 2003-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// 27.8.1.4 Overridden virtual functions
19
20// { dg-require-fileio "" }
21
22#include <locale>
23#include <fstream>
24#include <testsuite_hooks.h>
25#include <testsuite_character.h>
26
27// libstdc++/12790
28void test01()
29{
30  using namespace std;
31  using __gnu_test::pod_uchar;
32  typedef basic_filebuf<pod_uchar>::traits_type traits_type;
33
34  bool test __attribute__((unused)) = true;
35  const char* name = "tmp_seekpos_12790";
36
37  locale loc(locale::classic(),
38	     new codecvt<traits_type::char_type, char,
39	     traits_type::state_type>);
40
41  basic_filebuf<pod_uchar> fb;
42  fb.pubsetbuf(0, 0);
43  fb.pubimbue(loc);
44
45  fb.open(name, ios_base::in | ios_base::out | ios_base::trunc);
46  traits_type::pos_type pos = fb.pubseekoff(0, ios_base::cur);
47  fb.sputc(pod_uchar::from<char>('a'));
48  fb.sputc(pod_uchar::from<char>(0xff));
49  fb.sputc(pod_uchar::from<char>(0));
50  fb.sputc(pod_uchar::from<char>(0));
51
52  // Check that seekpos restores the state correctly
53  fb.pubseekpos(pos);
54
55  traits_type::int_type c = fb.sbumpc();
56  VERIFY( c != traits_type::eof() );
57  VERIFY( traits_type::eq(traits_type::to_char_type(c),
58			  pod_uchar::from<char>('a')) );
59
60  fb.close();
61}
62
63int main()
64{
65  test01();
66  return 0;
67}
68