if (!(expr)) \
{ \
fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
+ fflush (stderr); \
abort (); \
} \
} \
ASSERT (ch == '@');
ASSERT (ftell (stdin) == 3);
+#if !defined __hpux /* HP-UX 11 has a known bug here */
/* Test ftell after ungetc without read. */
ASSERT (fseek (stdin, 0, SEEK_CUR) == 0);
ASSERT (ftell (stdin) == 3);
+#endif
ch = ungetc ('~', stdin);
ASSERT (ch == '~');