ファイルがコンパイルされない場合は解析を停止 (`-stop-if-compile-error`)

コンパイルエラーによって解析を停止しなければならないことを指定

説明

1 つのコンパイルエラーであっても解析を停止しなければならないことを指定します。

オプションの設定

以下のいずれかの方法を使用してオプションを設定します。

Polyspace^® ユーザーインターフェイス (デスクトップ製品のみ): プロジェクト構成で [環境設定] ノードを選択してから、このオプションを選択します。
Polyspace Platform ユーザーインターフェイス (デスクトップ製品のみ): プロジェクト構成の [静的解析] タブで [環境設定] ノードを選択してから、このオプションを選択します。
コマンドラインとオプションファイル: オプション -stop-if-compile-error を使用します。コマンドライン情報を参照してください。

このオプションを使用する理由

このオプションを使用して、最初にすべてのコンパイルエラーを解決してから Polyspace 解析を実行します。この手順によって、すべてのファイルが確実に解析されるようにします。

そうでない場合、コンパイルエラーのないファイルのみが完全に解析されます。コンパイルエラーのあるファイルでは、コンパイルエラーの性質によって、一部の関数が解析されない場合があります。

コンパイルエラーが関数本体内で発生した場合、そのファイル内のコンパイルエラーがない残りの関数のみが解析されます。コンパイルされない関数には、代わりにスタブが使用されます。
関数シグネチャなど、関数本体以外でコンパイルエラーが発生する場合は、コンパイルエラーの性質によって、ファイル内の残りの関数は解析される場合と解析されない場合があります。コンパイルされない関数に対してスタブを生成することはできません。

実際の関数定義の代わりにスタブを使用すると、解析の精度が低下することがあります。そのため、完全な解析を実行する前に、すべてのコンパイルエラーを修正することをお勧めします。Code Prover の実行時チェックは複数の関数間での範囲の伝播に大きく依存するため、このオプションは Code Prover 解析には非常に有効です。

設定

オン

発生するコンパイルエラーが 1 つの場合でも、解析は停止します。

Polyspace デスクトップ製品のユーザーインターフェイスの [出力の概要] ペインでコンパイルエラーを確認できます。

エラーを解決する方法の詳細は、コンパイルエラーのトラブルシューティングを参照してください。

解析時に生成されるテキストファイルである解析ログでエラーを確認することもできます。ログには Polyspace_R20##n_ProjectName_date-time.log という名前が付けられ、コンパイルエラーを示す Error: で始まる行が含まれています。解析結果のログを表示するには、次のようにします。

Polyspace デスクトップ製品のユーザーインターフェイスで、[ウィンドウ] 、 [ビューの表示/非表示] 、 [実行ログ] を選択します。
Polyspace Access Web インターフェイスまたは Polyspace Platform ユーザーインターフェイスで、[確認] パースペクティブを開きます。[ウィンドウ] 、 [実行ログ] を選択します。

コンパイルエラーがあっても、コーディングルール違反など、一部の解析結果は確認できます。

オフ (既定の設定)

コンパイルエラーが原因で解析は停止しませんが、解析されるのはコンパイルエラーのないファイルのみです。コンパイルエラーのあるファイルでは、コンパイルエラーの性質によって、一部の関数が解析される場合があります。コンパイルエラーが関数定義内部で発生している場合、解析ではその関数は未定義と見なされます。解析でそのような関数定義を必要とする場合、その関数について広範な仮定が行われます。

関数の戻り値は、そのデータ型で許容される任意の値になる可能性がある。
関数は、参照渡しされる引数がそのデータ型に許容されるすべての値になるように、それらを変更する可能性がある。

この仮定があまりにも広範に及ぶと、解析の精度が低下する可能性があります。たとえば、実行時チェックによって、実際には失敗しない演算がオレンジでフラグ付けされることがあります。

コンパイルエラーが発生する場合、Polyspace デスクトップ製品のユーザーインターフェイスの [ダッシュボード] ペインに、一部のファイルをコンパイルできなかったことを示すリンクが表示されます。このリンクをクリックすると、[出力の概要] ペインでコンパイルエラーを確認できます。

Polyspace デスクトップ製品のユーザーインターフェイスで、[ウィンドウ] 、 [ビューの表示/非表示] 、 [実行ログ] を選択します。
Polyspace Access Web インターフェイスで、[確認] タブを開きます。[ウィンドウ] 、 [実行ログ] を選択します。

コマンドライン情報

パラメーター: -stop-if-compile-error

既定値: オフ

例 (Bug Finder): polyspace-bug-finder -sources filename -stop-if-compile-error

例 (Code Prover): polyspace-code-prover -sources filename -stop-if-compile-error

例 (Bug Finder Server): polyspace-bug-finder-server -sources filename -stop-if-compile-error

例 (Code Prover Server): polyspace-code-prover-server -sources filename -stop-if-compile-error

バージョン履歴

R2017a で導入

参考

ファイルがコンパイルされません

トピック

Polyspace 解析オプションの指定

ファイルがコンパイルされない場合は解析を停止 (-stop-if-compile-error)

説明