1.1 --- a/ucx/buffer.c Thu Oct 11 08:42:56 2012 +0200 1.2 +++ b/ucx/buffer.c Thu Oct 11 11:42:31 2012 +0200 1.3 @@ -33,8 +33,8 @@ 1.4 free(buffer); 1.5 } 1.6 1.7 -UcxBuffer *ucx_buffer_extract( 1.8 - UcxBuffer *src, size_t start, size_t length, int flags) { 1.9 +UcxBuffer *restrict ucx_buffer_extract( 1.10 + UcxBuffer *restrict src, size_t start, size_t length, int flags) { 1.11 if (length == 0) { 1.12 length = src->size - start; 1.13 } 1.14 @@ -42,7 +42,7 @@ 1.15 return NULL; 1.16 } 1.17 1.18 - UcxBuffer *dst = (UcxBuffer*) malloc(sizeof(UcxBuffer)); 1.19 + UcxBuffer *restrict dst = (UcxBuffer*) malloc(sizeof(UcxBuffer)); 1.20 if (dst) { 1.21 dst->space = malloc(length); 1.22 if (!dst->space) {