Control Flow Checks

Checks on function calls and loops

Control flow checks in Polyspace^® Code Prover™ flag statements that change flow of control if the change in control flow leads to definite run-time errors. A red loop statement or function call indicates that an operation inside the loop or function body results in a run-time error.

Polyspace Results

`Non-terminating call`	Called function does not return to calling context
`Non-terminating loop`	Loop does not terminate or contains an error

Topics

Review and Fix Non-Terminating Call Checks
Review operations in the function body and find which run-time error occurs because of issues specific to the current function call.
Identify Function Call with Run-Time Error
Identify the function call responsible for a run-time error in the function body.
Review and Fix Non-Terminating Loop Checks
Review operations in the loop and determine why the loop does not terminate or why a definite run-time error occurs in one of the loop runs.
Identify Loop Operation with Run-Time Error
Identify the loop operation responsible for an error in a loop.
Find Relations Between Variables in Code
Determine if the variables in any operation are related from some previous operation.