GNU コンパイラに関連する Polyspace コンパイル エラーの修正

オプション [コンパイラ] (-compiler) に gnu を選択すると、この問題が発生する可能性があります。

問題

Polyspace^® 解析がコンパイル エラーで停止します。

原因

Polyspace がサポートしていない特定の高度なコンパイラ固有の拡張を使用しています。制限を参照してください。

解決法

コードを容易に移植できるように、拡張の使用を避けます。

拡張を使用したうえでコードを解析する必要がある場合は、サポートされていない拡張をプリプロセッサ命令でラップします。次に例を示します。

#ifdef POLYSPACE
    // Supported syntax
#else
    // Unsupported syntax
#endif

通常のコンパイルでは、マクロ POLYSPACE を定義しません。Polyspace 解析では、オプション [プリプロセッサ定義] (-D) に POLYSPACE を入力します。

コンパイル エラーがアセンブリ言語コードに関連している場合は、オプション -asm-begin -asm-end を使用します。