Terug naar de homepage van Forcheck
Forcheck verifies constructs


 
 FORCHECK PC V11.10  MS5 compiler emulation  02-Feb-94  11:09:03  page: 1 
 TRANSFER.FOR  


      1 c
      2 c                       FORCHECK
      3 c               Illegal Transfer of Control
      4 
      5         INTEGER iar(10,2)
      6         LOGICAL l
      7 
      8         l = .TRUE.
      9 
     10         DO 20 i = 1, 10
     11  10       IF (l) GOTO 20
     12           DO 20 j = 1, 2
     13  20     iar(i,j) = 0
     14 
     15 
   20                              
 **[191 E] referenced from outside DO loop, IF,ELSEIF,ELSE or CASE block
     16         IF (l) GOTO 10
     17 
   10                              
 **[190 E] transfer of control into DO loop, IF,ELSEIF,ELSE or CASE block
     18         END



 FORCHECK PC V11.10           .MAIN.         02-Feb-94  11:09:03  page: 2 
 TRANSFER.FOR  


 ENTRY          TYPE NARG  LINE

    .MAIN.         P


 LABEL TYPE LINES

     10     11# 16
     20 L   10  11  12  13#


 VARIABLE  TYPE     RANK  OPERATIONS  LINES

    I       I*4                  L R  10# 13
    IAR     I*4       2        A       5  13#
    J       I*4                  L R  12# 13
    L       L*4                A   R   6   8# 11  16
   IAR                             
 **[110 I] unreferenced



 FORCHECK PC V11.10  MS5 compiler emulation  02-Feb-94  11:09:03  page: 3 


 *END OF ANALYSIS*

 messages presented:
  1x[110 I] unreferenced
  1x[190 E] transfer of control into DO loop,IF,ELSEIF,ELSE or CASE block
  1x[191 E] referenced from outside DO loop, IF,ELSEIF,ELSE or CASE block

 number of error messages:                2
 number of informative messages:          1

                                      total  not-included
 number of noncomment source lines:       9             9
 number of nonempty comment lines:        2             2
 number of statements:                    9             9
 number of subprograms:                   1
 number of source files:                  1

previous page top page
Forcheck
Contact