Flush the standard error stream before aborting.
[gnulib.git] / tests / test-fflush2.c
1 /* Test of POSIX compatible fflush() function.
2    Copyright (C) 2008 Free Software Foundation, Inc.
3
4    This program is free software: you can redistribute it and/or modify
5    it under the terms of the GNU General Public License as published by
6    the Free Software Foundation; either version 3 of the License, or
7    (at your option) any later version.
8
9    This program 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
15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
16
17 #include <config.h>
18
19 #include <stdio.h>
20
21 #include <stdlib.h>
22
23 /* This test can only be made to work on specific platforms.  */
24 #if defined _IO_ferror_unlocked || defined __sferror /* GNU libc, BeOS; FreeBSD, NetBSD, OpenBSD, MacOS X, Cygwin */
25 # define ASSERT(expr) \
26   do                                                                         \
27     {                                                                        \
28       if (!(expr))                                                           \
29         {                                                                    \
30           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
31           fflush (stderr);                                                   \
32           abort ();                                                          \
33         }                                                                    \
34     }                                                                        \
35   while (0)
36 #else
37 # define ASSERT(expr) \
38   do                                                                         \
39     {                                                                        \
40       if (!(expr))                                                           \
41         {                                                                    \
42           printf ("Skipping test: expected failure on this platform\n");     \
43           exit (77);                                                         \
44         }                                                                    \
45     }                                                                        \
46   while (0)
47 #endif
48
49 int
50 main (int argc, char **argv)
51 {
52 #if 0
53   /* Check fflush after a backup ungetc() call.  This is case 1 in terms of
54      <http://lists.gnu.org/archive/html/bug-gnulib/2008-03/msg00131.html>.
55      The Austin Group has not yet decided how this should behave.  */
56 #endif
57 #if 0
58   /* Check fflush after a non-backup ungetc() call.  This is case 2 in terms of
59      <http://lists.gnu.org/archive/html/bug-gnulib/2008-03/msg00131.html>.
60      The Austin Group has not yet decided how this should behave.  */
61   /* Check that fflush after a non-backup ungetc() call discards the ungetc
62      buffer.  This is mandated by POSIX
63      <http://www.opengroup.org/susv3/functions/ungetc.html>:
64        "The value of the file-position indicator for the stream after
65         reading or discarding all pushed-back bytes shall be the same
66         as it was before the bytes were pushed back."  */
67   int c;
68
69   c = fgetc (stdin);
70   ASSERT (c == '#');
71
72   c = fgetc (stdin);
73   ASSERT (c == '!');
74
75   /* Here the file-position indicator must be 2.  */
76
77   c = ungetc ('@', stdin);
78   ASSERT (c == '@');
79
80   fflush (stdin);
81
82   /* Here the file-position indicator must be 2 again.  */
83
84   c = fgetc (stdin);
85   ASSERT (c == '/');
86 #endif
87
88   return 0;
89 }