declare func_ptr targets func

指定された関数を、指定された関数ポインタを介した呼び出しが可能な関数のリストに追加します。

ロック lint は、初期設定および割り当て構成に注目し、独力で関数ポインタのターゲットについての大量な情報を収集します。たとえば、以下のコードに対して、

struct foo { int (*fp)(); } foo1 = { bar };

ロック lint は、以下のコマンドに相当する動作を実行します。

% lock_lint declare foo::fp targets  bar

ロック lint は (上記の例に対して)、以下の動作は行いません。

% lock_lint declare foo1.fp targets bar

しかし、関数ポインタの割り当てに対しては、いずれの動作も行います。「ロックの逆転」を参照してください。