チェックリストのアイテムのコード 545: 対応していないケースのインクリメント/デクリメントの演算子です

チェックリストのアイテムのタイプ

このチェックリストのアイテムはModelifyの制約ですです

原因

このチェックリストのアイテムは、グローバル上にインクリメント/デクリメント演算子が存在する場合、structフィールド、または、配列が存在する場合、そして、同じ表現内に別のread/writeが存在する場合に発生します。この類の表現はC言語のコード内に未定義の動作を生み出す可能性があり、またStateflowに適切に変換されない可能性があります。

推奨するソリューション

この問題は、インクリメント/デクリメント演算子が存在する場合に、同じ表現内に余分なread/writeが存在しないようにソースコードをアップデートすることで解決が可能です。

その他のリソース

ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい（support@ensoftcorp.com）。