Check Stateflow charts for unary operators
Identify unary operators in Stateflow® charts.
This check identifies the unary minus operators on unsigned data types in Stateflow charts.
Available with Simulink® Check™.
This check requires a Stateflow license.
Results and Recommended Actions
|The Stateflow chart consists of a unary minus operator on unsigned data types.||Explicitly modify the unary operator on unsigned data types. For more information, see Unary Operations and Actions (Stateflow).|
Capabilities and Limitations
Does not run on library models.
Analyzes content of library linked blocks. By default, the input parameter Follow links is set to
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
Except for Shift and Divide operations, this check does not flag expressions with bitwise and arithmetic operators.