1// Copyright (C) 2004, 2009 Free Software Foundation
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// The ARM simulator does not provide support for "fstat", which
19// causes "sbumpc" to return an incorrect value.
20// { dg-do run { xfail arm*-*-elf arm*-*-eabi } }
21
22// { dg-require-fileio "" }
23
24#include <cstdio>
25#include <fstream>
26#include <ext/stdio_sync_filebuf.h>
27#include <testsuite_hooks.h>
28
29void test3()
30{
31  using namespace std;
32  bool test __attribute__((unused)) = true;
33
34  filebuf fbuf;
35  fbuf.open("tmp_10063-3", ios_base::out | ios_base::trunc);
36  fbuf.sputn("01234", 5);
37  fbuf.close();
38
39  FILE* file = fopen("tmp_10063-3", "r");
40  int c = getc(file);
41  VERIFY(c == '0');
42  c = getc(file);
43  VERIFY(c == '1');
44  {
45    __gnu_cxx::stdio_sync_filebuf<char> sbuf(file);
46    c = sbuf.sbumpc();
47    VERIFY(c == '2');
48    c = sbuf.sbumpc();
49    VERIFY(c == '3');
50    c = sbuf.sbumpc();
51    VERIFY(c == '4');
52    c = sbuf.sgetc();
53    VERIFY(c == EOF);
54  }
55  fclose(file);
56}
57
58int main()
59{
60  test3();
61  return 0;
62}
63