Oops, one really cannot skip bflush() there, because it's needed as

a barrier between reads and writes.

diff --git a/lib/fastbuf.c b/lib/fastbuf.c
index 59a923ba485761d22d9d829b82f9ef83b7e40f27..f83b40210132db4a87258d9d77f9078f0465b6bd 100644 (file)
--- a/lib/fastbuf.c
+++ b/lib/fastbuf.c
@@ -339,8 +339,7 @@ bconfig(struct fastbuf *f, uns item, int value)
 void
 brewind(struct fastbuf *f)
 {
-  if (f->bptr > f->bstop)
-    bflush(f);
+  bflush(f);
   bsetpos(f, 0);
 }