Worklist Item Code 545: Unsupported case of Increment/Decrement operator

Worklist Item Type

This Worklist Item is a Modelify Limitation

Cause

This occurs when there is an Increment/Decrement operator on a global, a struct field or an array component and another read/write in the same expression. This kind of expression could produce undefined behavior in C code and it might not be properly converted to Stateflow.

Recommend Solution

This can be resolved by updating the source code so that there is no extra read/write in the same expression if there is an Increment/Decrement operator.

Additional Resources

For further support, contact EnSoft Support at support@ensoftcorp.com