From: Bruno Haible <bruno@clisp.org>
Date: Thu, 28 Feb 2008 23:58:02 +0000 (+0100)
Subject: Change specification for the sake of ungetc on hypothetic platforms.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e8014c6b48c5e156b61c09cf7e5681b64c644344;p=pspp

Change specification for the sake of ungetc on hypothetic platforms.
---

diff --git a/lib/freadptr.h b/lib/freadptr.h
index 7697970703..3620a14372 100644
--- a/lib/freadptr.h
+++ b/lib/freadptr.h
@@ -23,8 +23,9 @@ extern "C" {
 
 /* Assuming the stream STREAM is open for reading:
    Return a pointer to the input buffer of STREAM.
-   If freadahead (STREAM) > 0, the result is a pointer to freadahead (STREAM)
-   bytes.
+   If freadahead (STREAM) > 0, the result is either a pointer to
+   freadahead (STREAM) bytes, or NULL.  The latter case can happen after
+   use of 'ungetc (..., STREAM)'.
    If freadahead (STREAM) == 0, the result is not usable; it may be NULL.
    In this case, you should use getc (STREAM), fgetc (STREAM), or
    fread (..., STREAM) to access the input from STREAM.