Main Content

Unreachable execution path


Select 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 object.

  • Transition shadowing caused by an unconditional transition originating from a source that prevents other transitions from the same source from executing.

  • States, junctions, or ports not connected as a destination from a valid transition.

  • Unconditional paths out of states. In this chart, initially state A and state B are active. The chart then takes the unconditional transition to state C, and state C becomes active. The transition to state B1 does not execute and state B1 is unreachable.

Category: Diagnostics


Default: warning


No warning or error appears.


A warning appears.


An error appears and stops the simulation.

Command-Line Information

Parameter: SFUnreachableExecutionPathDiag
Value: 'none' | 'warning' | 'error'
Default: 'warning'

Recommended Settings

TraceabilityNo impact
EfficiencyNo impact (for simulation)
none (for production code generation)
Safety precautionerror

Related Topics