--- a/src/cx/streams.h Thu Nov 07 20:22:56 2024 +0100 +++ b/src/cx/streams.h Thu Nov 07 22:46:58 2024 +0100 @@ -61,7 +61,10 @@ * iterations. * @return the total number of bytes copied */ -__attribute__((__nonnull__(1, 2, 3, 4))) +cx_attr_nonnull_arg(1, 2, 3, 4) +cx_attr_access_r(1) +cx_attr_access_w(2) +cx_attr_access_w(5) size_t cx_stream_bncopy( void *src, void *dest, @@ -100,7 +103,9 @@ * @param n the maximum number of bytes that shall be copied. * @return total number of bytes copied */ -__attribute__((__nonnull__)) +cx_attr_nonnull +cx_attr_access_r(1) +cx_attr_access_w(2) size_t cx_stream_ncopy( void *src, void *dest,