Unreachable execution path
Diagnostic action to take when an unreachable execution path is detected
Model Configuration Pane: Diagnostics
Description
The Unreachable execution path parameter specifies the diagnostic action to take when there are chart constructs not on a valid execution path. These constructs can cause unreachable execution paths:
Dangling transitions not connected to a destination state, junction, or port
Transition shadowing caused by an unconditional transition that prevents other transitions from the same source from executing
States, junctions, or ports not connected with a transition from a reachable source
Unconditional transitions leading out of a state that prevent the execution of the
duringactions in the state and the transitions between child states
This diagnostic does not detect unreachable execution paths caused by transition
conditions that are always true or false. For example, in this chart, the diagnostic
does not detect that the unconditional transition to state D is
never valid.
If you have Simulink® Design Verifier™, you can use dead logic detection to analyze your chart for this type of unreachable execution path. For more information, see Dead Logic Detection (Simulink Design Verifier).
Settings
warning (default) | none | errornoneNo warning or error appears.
warningA warning appears.
errorAn error appears and stops the simulation.
Recommended Settings
| Application | Setting |
|---|---|
| Debugging | warning |
| Traceability | No impact |
| Efficiency | No impact (for
simulation)none
(for production code generation) |
| Safety precaution | error |
Programmatic Use
Parameter:
SFUnreachableExecutionPathDiag |
Value:
'none' | 'warning' |
'error' |
Default:
'warning' |
Version History
Introduced in R2016b
See Also
Topics
- Model Configuration Parameters: Stateflow Diagnostics
- Detect Modeling Errors During Edit Time (Stateflow)
- Dead Logic Detection (Simulink Design Verifier)
