fpt and WinFPT Reference Manual - Command-line Commands
| SimCon Home | Ref Manual Home |
CHECK PROGRAM FLOW
[DO NOT] CHECK [PROGRAM] FLOW
fpt checks the code for unreachable executable statements. It reports all sequences of statements which cannot be reached from the entry points of the sub-programs in which they occur. A typical report is shown below:
Check of Program Flow ===================== WARNING The following executable code sequences are unreachable Sequence: 5, 3 executable statements at Line: 39 File: e:\projects\fpt\fpttests\flts.for Notes: Unreachable C=8 Sequence: 23, 1 executable statement at Line: 74 File: e:\projects\fpt\fpttests\flts.for Notes: Unreachable CALL EXCEPT('Fall-through CASE') Sequence: 27, 1 executable statement at Line: 81 File: e:\projects\fpt\fpttests\flts.for Notes: Unreachable 9040 STOP 'Error opening ctrl.int'
Where to Use this Command
|Operating system command line||Yes|
|Configuration file, config.fsp||Yes|
|Specification (fsp) files, *.fsp||Yes|
|Interactively, to FPT> prompt||Yes|
|Interactive command files||Yes|
|Embedded in the Fortran code||Yes|
Program flow is not checked by default (Note that defaults may be changed in the configuration file).
Copyright ©1995 to 2021 Software Validation Ltd. All rights reserved.