FPT and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Reference Manual Home |


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