Whoops. That wouldn't have worked...

diff --git a/functions/stdio/ftell.c b/functions/stdio/ftell.c
index 892c7b282b043f373da705166936886b81d52a13..63c7f75e1d5de1ebf786a1d9e38e1c9b592a1492 100644 (file)
--- a/functions/stdio/ftell.c
+++ b/functions/stdio/ftell.c
@@ -13,8 +13,10 @@
 
 long int ftell( struct _PDCLIB_file_t * stream )
 {
-    /* FIXME: A bit too fuzzy in the head now. stream->ungetidx should be in here
-             somewhere.
+    /* If offset is too large for return type, report error instead of wrong
+       offset value.
+       FIXME: A bit too fuzzy in the head right now; stream->ungetidx should be
+       in here somewhere.
     */
     if ( stream->pos.offset > ( LONG_MAX - stream->bufidx ) )
     {
@@ -22,11 +24,22 @@ long int ftell( struct _PDCLIB_file_t * stream )
         _PDCLIB_errno = _PDCLIB_EINVAL;
         return -1;
     }
-    /* Position of start-of-buffer, plus:
-       - buffered, unwritten content (for output streams), or
-       - already-parsed content from buffer (for input streams)
+    /* ftell() must take into account:
+       - the actual *physical* offset of the file, i.e. the offset as recognized
+         by the operating system (and stored in stream->pos.offset); and
+       - any buffers held by PDCLib, which
+         - in case of unwritten buffers, count in *addition* to the offset; or
+         - in case of unprocessed pre-read buffers, count in *substraction* to
+           the offset. (Remember to count ungetidx into this number.)
+       Conveniently, the calculation ( ( bufend - bufidx ) + ungetidx ) results
+       in just the right number in both cases:
+         - in case of unwritten buffers, ( ( 0 - unwritten ) + 0 )
+           i.e. unwritten bytes as negative number
+         - in case of unprocessed pre-read, ( ( preread - processed ) + unget )
+           i.e. unprocessed bytes as positive number.
+       That is how the somewhat obscure return-value calculation works.
     */
-    return (long int)( stream->pos.offset + stream->bufidx - stream->ungetidx );
+    return (long int)( stream->pos.offset - ( ( stream->bufend - stream->bufidx ) + stream->ungetidx ) );
 }
 
 #endif

diff --git a/platform/example/functions/_PDCLIB/fillbuffer.c b/platform/example/functions/_PDCLIB/fillbuffer.c
index ecfb96859bcc668b63bfe866d6aca7b4017e5ba8..8da93ad345fb8a1ff0963eb28cb95d06f81ff1b4 100644 (file)
--- a/platform/example/functions/_PDCLIB/fillbuffer.c
+++ b/platform/example/functions/_PDCLIB/fillbuffer.c
@@ -31,6 +31,7 @@ int _PDCLIB_fillbuffer( struct _PDCLIB_file_t * stream )
         {
             /* TODO: Text stream conversion here */
         }
+        stream->pos.offset += rc;
         stream->bufend = rc;
         stream->bufidx = 0;
         return 0;