ARM コンパイラ armcc ユーザガイド : 10.43 __attribute_

10.43 attribute((nonnull)) 関数属性

この関数属性は、NULL ポインタをサポートしない関数パラメータを指定します。該当するパラメータが検出されたときにコンパイラから警告を生成することができます。

__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));

非機密扱い	PDF 版	ARM DUI0472LJ
Copyright © 2010-2015 ARM.All rights reserved.