4.2 lint 使用方法

lint プログラムは、コマンド行から起動します。基本モードで lint を起動するには、次のコマンドを使用します。

% lint file1.c file2.c

拡張 lint は -Nlevel または -Ncheck オプションを使用して呼び出します。たとえば、次のようにして拡張 lint を起動できます。

% lint -Nlevel=3 file1.c file2.c

lint は、2 つのパスでコードの検査をします。lint は、最初のパスでは C ソースファイルに個別のエラー条件を、第 2 のパスでは C ソースファイル間の不整合を検査します。このプロセスは、lint が -c を指定して呼び出されていなければユーザーには見えません。

% lint -c file1.c file2.c

このコマンドは、最初のパスのみを実行し、第 2 のパスに関連する情報を file1.ln および file2.ln という名前の中間ファイル内に集めるように、lint に指示します。第 2 のパスは、file1.c と file2.c 間での定義や使用法の不一致をカバーします。

% ls
file1.c
file1.ln
file2.c
file2.ln

このように、lint の -c オプションは cc の -c オプションに似ており、コンパイルのリンク編集段階を抑制します。lint のコマンド行構文は cc に密接に従っています。

.ln ファイルが lint されると、第 2 のパスが実行されます。

% lint file1.ln file2.ln

lint は、任意の数の .c または .ln ファイルを、コマンド行の順に処理します。たとえば、次のコマンドは、file3.c にエラーが含まれているかどうかと、3 つすべてのファイル間の整合性が取れているかどうかを検査するように、lint に指示します。

% lint file1.ln file2.ln file3.c

lint は cc と同じ順序でインクルードヘッダーファイル用のディレクトリを検索します。cc の -I オプションを使用するように、lint の -I オプションを使用できます。「2.16 インクルードファイルを指定する方法」を参照してください。

lint コマンド行には、複数のオプションを指定することができます。いずれかのオプションが引数を取るか、またはオプションが複数の文字を持つ場合を除いて、オプションは連結できます。

% lint -cp -Idir1 -Idir2 file1.c file2.c

このコマンドは、次のアクションを実行するように lint に指示します。

• 第 1 のパスのみを実行する

• 移植性検査も実行する

• 指定されたディレクトリでインクルードするヘッダーファイルを検索する

lint にはオプションが数多くあります。これらのオプションを使うと、lint で特定の処理を実行し、特定の条件について報告することができます。

lint に対する一連のデフォルトオプションを定義するには、環境変数 LINT_OPTIONS を使用します。LINT_OPTIONS は、lint の呼び出しに使用された名前の直後に、まるでその値がコマンド行に置かれていたかのように、lint によって読み取られます。

   lint $LINT_OPTIONS ... other-arguments ...   

lint コマンドは、ユーザー提供のデフォルトオプションファイル lint.defaults を検索するための SPRO_DEFAULTS_PATH 環境変数も認識します。「B.4 ユーザー指定のデフォルトオプションファイル」を参照してください。