diff --git a/src/include/pv-internal.h b/src/include/pv-internal.h index a5a5390..c5549c0 100644 --- a/src/include/pv-internal.h +++ b/src/include/pv-internal.h @@ -223,7 +223,7 @@ struct pvstate_s { * to the output when splice() is not available. * * If buffer_size is smaller than pv__target_bufsize, then - * pv_transfer will try to reallocate transfer_buffer to make + * pv_transfer() will try to reallocate transfer_buffer to make * buffer_size equal to pv__target_bufsize. * * Data from the input files is read into the buffer; read_position @@ -233,7 +233,7 @@ struct pvstate_s { * is the offset in the buffer that we've written data up to. It * will always be less than or equal to read_position. */ - /*@keep@*/ /*@null@*/ char *transfer_buffer; /* data transfer buffer */ + /*@only@*/ /*@null@*/ char *transfer_buffer; /* data transfer buffer */ size_t buffer_size; /* size of buffer */ size_t read_position; /* amount of data in buffer */ size_t write_position; /* buffered data written */ diff --git a/src/pv/string.c b/src/pv/string.c index 2b511c2..1653393 100644 --- a/src/pv/string.c +++ b/src/pv/string.c @@ -160,9 +160,9 @@ char *pv_strdup(const char *original) void *pv_memrchr(const void *buffer, int match, size_t length) { #ifdef HAVE_MEMRCHR - /*@-unrecog @*/ /* splint doesn't know of memrchr() */ + /*@-unrecog @ *//* splint doesn't know of memrchr() */ return memrchr(buffer, match, length); - /*@+unrecog @*/ + /*@+unrecog @ */ #else unsigned char *ptr;