Unreachable execution path

Description

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

Settings

Default: warning

none

No warning or error appears.

warning

A warning appears.

error

An error appears and stops the simulation.

Command-Line Information

Parameter: SFUnreachableExecutionPathDiag

Value: 'none' | 'warning' | 'error'

Default: 'warning'

Recommended Settings

Application	Setting
Debugging	warning
Traceability	No impact
Efficiency	No impact (for simulation) none (for production code generation)
Safety precaution	error

Related Topics

• Model Configuration Parameters: Stateflow Diagnostics
• Detect Modeling Errors During Edit Time (Stateflow)
• Dangling transition (Stateflow)
• Transition shadowing (Stateflow)
• Unreachable junction (Stateflow)
• Unreachable port or junction (Stateflow)
• Unreachable state (Stateflow)