Fortran 固有の解析

スタティックの検証は、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] 関数結果は設定されていない可能性があります。