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] 関数結果は設定されていない可能性があります。