5.1.1 GPC の概要

大域的なプログラムの検査 (GPC) は、-Xlistx オプションで呼び出され、次のことを行います。

• 特に、別々にコンパイルされるルーチン間で、通常より厳重な Fortran の型検査の規則を適用する。

• 別のマシンや異なるオペレーティングシステムの間で、プログラムを移動するときに必要な移植上のいくつかの制約を適用する。

• 正当ではあっても無駄が多かったりエラーにつながりそうな構造を検出する。

• そのほかのバグやあいまいな箇所を指摘する。

さらに具体的には、大域的なチェック機能によって次のような問題が報告されます。

• インタフェースの問題

  • 仮引数と実引数の数と型の衝突

  • 関数値の間違った型

  • 別々の副プログラムの共通ブロックで、データ型の不適合のために生じる衝突の可能性

  使用上の問題

  • サブルーチンとして使用された関数、または関数として使用されたサブルーチン

  • 宣言されたが使用されていない関数、サブルーチン、変数、文番号

  • 参照されたが宣言されていない関数、サブルーチン、変数、文番号

  • 不定の変数の使用

  • 実行されることのない文

  • 暗黙の型の変数

  • 名前付き共通ブロックの長さ、名前、配置の不整合