fpt and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Ref Manual Home |

CHECK FOR CUMULATED INTEGER OVERFLOW

Syntax:

[DO NOT] CHECK FOR CUMULATED INTEGER OVERFLOW [DO NOT] CHECK FOR CUMULATIVE INTEGER OVERFLOW

Function:

fpt checks for situations where integer arithmetic may cause overflow. The most dangerous situations occur when one or two byte integers are constructed from longer integers, or when integers are generated from the results of real arithmetic.

The authors have seen many situations where integers wrap to negative values instead of generating a run-time exception.

Where to Use this Command

Operating system command line Yes
Configuration file, config.fsp Yes
Specification (fsp) files, *.fsp Yes
Interactively, to FPT> prompt No
Interactive command files No
Embedded in the Fortran code Yes

Default

The check is not made by default. It may produce a large number of false positives.

(Note that defaults may be changed in the configuration file)

Copyright ©1995 to 2026 Software Validation Ltd. All rights reserved.