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 2018 Software Validation Ltd. All rights reserved.