These instructions will help you to configure FPChecker.
Edit me
FPChecker is configured using environment variables. All variables have the FPC_
prefix.
There are two classes of variables: compile-time and run-time. Compile-time variables are enabled when building/instrumenting the application. Run-time variables are enabled when the application is executed.
The value of the variable does not matter; it only matters whether it is set or not.
Availabe Variables
Here’s the list of available variables, their type, and description.
Compile-time Variables
Variable | Type | Description |
FPC_INTRUMENT | Compile-time | Instruments the application |
FPC_ANNOTATED | Compile-time | Indicates that the program is annotated |
Run-time Variables
Variable | Type | Description |
FPC_EXPONENT_USAGE | Run-time | Profiles exponent usage for FP32/FP64 |
FPC_TRAP_INFINITY_POS | Run-time | Program exits when Infinity positive is found |
FPC_TRAP_INFINITY_NEG | Run-time | Program exits when Infinity negative is found |
FPC_TRAP_NAN | Run-time | Program exits when NaN is found |
FPC_TRAP_DIVISION_ZERO | Run-time | Program exits when division-by-zero is found |
FPC_TRAP_CANCELLATION | Run-time | Program exits when cancellation is found |
FPC_TRAP_COMPARISON | Run-time | Program exits when Comparison is found |
FPC_TRAP_UNDERFLOW | Run-time | Program exits when underflow is found |
FPC_TRAP_LATENT_INF_POS | Run-time | Program exits when Latent Infinity positive is found |
FPC_TRAP_LATENT_INF_NEG | Run-time | Program exits when Latent Infinity negative is found |
FPC_TRAP_LATENT_UNDERFLOW | Run-time | Program exits when Latent Underflow is found |