]>
Commit | Line | Data |
---|---|---|
ccb50b81 PC |
1 | // 2003-05-30 Paolo Carlini <pcarlini@unitus.it> |
2 | ||
aa118a03 | 3 | // Copyright (C) 2003-2014 Free Software Foundation, Inc. |
ccb50b81 PC |
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 | |
748086b7 | 8 | // Free Software Foundation; either version 3, or (at your option) |
ccb50b81 PC |
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 | |
748086b7 JJ |
17 | // with this library; see the file COPYING3. If not see |
18 | // <http://www.gnu.org/licenses/>. | |
ccb50b81 PC |
19 | |
20 | #include <sstream> | |
21 | #include <testsuite_hooks.h> | |
22 | ||
23 | void test01() | |
24 | { | |
11f10e6b | 25 | bool test __attribute__((unused)) = true; |
ccb50b81 PC |
26 | using namespace std; |
27 | typedef stringbuf::pos_type pos_type; | |
28 | typedef stringbuf::off_type off_type; | |
29 | ||
30 | stringbuf strb_01(ios_base::out); | |
31 | ||
32 | strb_01.sputn("broken peak", 11); | |
33 | pos_type pt_1 = strb_01.pubseekoff(0, ios_base::end, ios_base::out); | |
f275a768 | 34 | |
ccb50b81 PC |
35 | // In general, according to 27.7.1.3,14, the below has undefined |
36 | // behaviour since pt_1 + off_type(1) doesn't come from a | |
37 | // previous pubseekpos or pubseekoff. However, given v3 implementation, | |
38 | // this was useful to expose a bug in pubseekpos checks. | |
39 | pos_type pt_2 = strb_01.pubseekpos(pt_1 + off_type(1), ios_base::out); | |
40 | VERIFY( pt_2 == pos_type(off_type(-1)) ); | |
41 | } | |
42 | ||
43 | int main() | |
44 | { | |
45 | test01(); | |
46 | return 0; | |
47 | } |