ロック lint のための情報収集

コンパイラはロック lint が使用する情報を収集します。より明確に言うなら、コマンド行オプション -Zll を C コンパイラに指定することで、それぞれの .c ソースコードファイルに対して .ll ファイルを生成します。この .ll ファイルには、各関数の制御の流れ、および相互排他あるいは読み取り側/書き込み側ロックにおける変数または操作のアクセスについての情報が含まれます。

-Zll フラグを指定したコンパイルでは、.o ファイルは作成されません。