__attribute__((nonnull(arg-index, ...)))

여기서 arg-index, ...는 인수 인덱스 목록입니다.

인수 인덱스 목록이 지정되지 않으면 모든 포인터 인수가 nonnull로 표시됩니다.

다음은 이 속성을 사용한 선언의 예입니다.

void * my_memcpy (void *dest, const void *src, size_t len) __attribute__((nonnull (1, 2)));

void * my_memcpy (void *dest, const void *src, size_t len) __attribute__((nonnull));