スタティックの検証は、Fortran ソースコードを解析して、ユーザープログラム中のさまざまなエラー、警告、問題点をチェックします。
スタティックの検証は、次の問題を検出します。
次に、Fortran 固有の解析例を示します。
例 1: 未定義の関数結果
dlarnd.f ファイルには、次のコードが含まれています。
2 REAL*8 FUNCTION DLARND( IDIST, ISEED)
. . .
82 T1 = DLARAN( ISEED )
84 IF( IDIST.EQ.1 ) THEN
88 DLARND = T1
89 ELSE IF( IDIST.EQ.2 ) THEN
93 DLARND = TWO*T1 - ONE
94 ELSE IF( IDIST.EQ.3 ) THEN
98 T2 = DLARAN( ISEED )
99 DLARND = SQRT( -TWO*LOG( T1 ) )*COS(TWOPI*T2 )
100 END IF
101 RETURN
105 END
スタティックの検証機能で次のメッセージが発行されます。
dlarnd.f(105): エラー #12077: [SV] 関数結果は設定されていない可能性があります。