fpt and WinFPT Reference Manual - Command-line Commands
| SimCon Home | Ref Manual Home |
CHECK PROGRAM FLOW
Syntax:
[DO NOT] CHECK [PROGRAM] FLOW
Function:
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 |
Default
Program flow is not checked by default (Note that defaults may be changed in the configuration file).
Copyright ©1995 to 2024 Software Validation Ltd. All rights reserved.