3 // Copyright (C) 1999, 2001, 2003, 2009 Free Software Foundation, Inc.
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)
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.
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/>.
21 // 27.4.3 template class fpos
23 #include <cwchar> // for mbstate_t
25 #include <testsuite_hooks.h>
27 // 27.4.3.2 fpos requirements/invariants
30 bool test __attribute__((unused)) = true;
32 typedef std::mbstate_t state_type;
35 std::streamoff off02 = 997;
39 std::streampos pos01(i02);
40 std::streampos pos02 = i02;
41 VERIFY( pos01 == pos02 );
44 // NB: P(o) is only required.
45 std::streampos pos03(off02);
46 std::streampos pos04 = off02;
47 VERIFY( pos03 == pos04 );
50 std::streamoff off03(pos04);
51 VERIFY( off03 == off02 );
54 VERIFY( pos01 == pos02 );
55 VERIFY( pos02 != pos03 );
59 pos03 = pos03 + off02;
61 VERIFY( pos03 == pos04 );
62 std::streampos pos05 = pos03;
63 std::streampos pos06 = pos03 + off02;
64 VERIFY ( pos05 == pos03 );
68 pos03 = pos03 - off02;
70 VERIFY( pos03 == pos04 );
71 std::streampos pos07 = pos03;
72 std::streampos pos08 = pos03 - off02;
73 VERIFY ( pos07 == pos03 );
76 VERIFY( 0 == pos03 - pos04 );
78 // streamsize -> streamoff
79 // streamoff -> streamsize
81 std::streamsize size01(off02);
82 std::streamoff off04(size01);
83 VERIFY( off01 == off04 );