-

省略時解釈

-

複数ファイルのシンボル情報をfileに収集して，複数ファイルにまたがるMISRA-C:2012ルールによるソース・チェックを行います。

-

MISRA-C:2012において解析範囲が「システム」であるルールに対して本オプションを 適用します。

-

fileの拡張子に.{c|a|f}は指定できません。指定した場合はエラーとなります。

-

fileが他の入出力ファイルと重複する場合は，動作を保証しません。

-

本オプションを複数回指定した場合，最後に指定したものが有効となります。その際，警告を出力します。

-

-Xmisra2012オプションを同時に指定しない場合は，本オプションを無視します。その際，警告を出力します。

-

次の場合は，エラーになります。

-

file作成後にソース・ファイルを修正した場合は，再コンパイルすることでfileの情報が更新されます。

-

チェック対象のファイル数が多く，fileに入るシンボル情報が膨大になると，コンパイル速度が遅くなります。

-

a1.c，a2.c，a3.cにまたがるチェックを行います。