X-Git-Url: https://pd.if.org/git/?a=blobdiff_plain;f=functions%2Fstdio%2Fftell.c;h=29c360a2fd55d82f1d8569c67c6c3332e5f7fef2;hb=ef6aa72f40326153ba99e833340ace354799ed95;hp=db9eb3dc447565acc319ae274703d2d557791339;hpb=42cab9e71b49fcda5f225ea0debddce0d1123674;p=pdclib diff --git a/functions/stdio/ftell.c b/functions/stdio/ftell.c index db9eb3d..29c360a 100644 --- a/functions/stdio/ftell.c +++ b/functions/stdio/ftell.c @@ -13,20 +13,32 @@ long int ftell( struct _PDCLIB_file_t * stream ) { - /* TODO: A bit too fuzzy in the head now. stream->ungetidx should be in here - somewhere. + /* 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. */ - if ( stream->pos.offset > ( LONG_MAX - stream->bufidx ) ) + /* If offset is too large for return type, report error instead of wrong + offset value. + */ + /* TODO: Check what happens when ungetc() is called on a stream at offset 0 */ + if ( ( stream->pos.offset - stream->bufend ) > ( LONG_MAX - ( stream->bufidx - stream->ungetidx ) ) ) { /* integer overflow */ - _PDCLIB_errno = _PDCLIB_EINVAL; + _PDCLIB_errno = _PDCLIB_ERANGE; return -1; } - /* Position of start-of-buffer, plus: - - buffered, unwritten content (for output streams), or - - already-parsed content from buffer (for input streams) - */ - return (long int)( stream->pos.offset + stream->bufidx - stream->ungetidx ); + return (long int)( stream->pos.offset - ( ( (int)stream->bufend - (int)stream->bufidx ) + stream->ungetidx ) ); } #endif @@ -48,8 +60,7 @@ int main( void ) */ char * buffer = (char*)malloc( 4 ); FILE * fh; - remove( "testfile" ); - TESTCASE( ( fh = fopen( "testfile", "w+" ) ) != NULL ); + TESTCASE( ( fh = tmpfile() ) != NULL ); TESTCASE( setvbuf( fh, buffer, _IOLBF, 4 ) == 0 ); TESTCASE( fputc( '1', fh ) == '1' ); TESTCASE( fputc( '2', fh ) == '2' ); @@ -75,9 +86,8 @@ int main( void ) TESTCASE_NOREG( fh->bufidx == 0 ); /* Reading back first character after rewind for basic read check */ TESTCASE( fgetc( fh ) == '1' ); - TESTCASE( fclose( fh ) == 0 ); /* TODO: t.b.c. */ - remove( "testfile" ); + TESTCASE( fclose( fh ) == 0 ); return TEST_RESULTS; }