全局程序检查 (global program checking, GPC)（由 -Xlistx 选项调用）执行下列任务：
比通常更为严格地强制执行 Fortran 类型检查规则，特别是在单独编译的例程之间
强制执行在不同机器或操作系统之间转移程序所需的一些可移植性限制
检测仍有可能未达到最佳或易于出错的合法构造
揭示其他潜在的错误和含混不清之处
特别地，全局检查会报告如下问题：
接口问题
伪参数和实参数的数值与类型间的冲突
函数值的错误类型
因不同子程序间公共块中的数据类型不匹配而引起的可能冲突
使用问题
用作子例程的函数或用作函数的子例程
已声明但未使用的函数、 子例程、变量以及标签
已引用但未声明的函数、子例程、变量以及标签
未设置变量的使用
不会执行的语句
隐式类型变量
已命名公共块的长度、名称和布局的不一致性
