disallow

disallow は以下の構文を持っています。

disallow func ...

指定された呼び出しシーケンスを解析の対象から外すようにロック lint に指示します。たとえば、f() が g() を呼び出し、さらに h() を呼び出している呼び出しシーケンスをロック lint が解析しないようにするには、以下のサブコマンドを使用します。

% lock_lint disallow f g h

関数ポインタは、実際には起こらない多くの呼び出しシーケンスをプログラムがたどっているかのように見せることがあります。実態のないロック問題、特にデッドロックなどはそうしたシーケンスに現れます (「reallow」の解説も参照してください)。disallow は、ロック lint がそうしたシーケンスをたどることを防ぎます。