このチェックリストのアイテムはModelifyの制約ですです
これはStateflowの変換において、Modelifyが副作用(他の変数への記述)を持つ関数の呼び出しを検知し、ショートサーキットによりC言語で評価されない可能性がある場合に発生します。関数が常に生成されたStateflowチャートで呼び出されるため、Stateflowの変換では現時点で適切に処理されません。
この副作用が具体的なケースにおいてシミュレーションの結果に影響を与えないと考えられる場合、このメッセージを無視しても構いません。反対にシミュレーションの結果に影響を与える場合は、別の変換のタイプを選択するか、ソースコードを修正し、条件を複数のifステートメントに分けるソリューションが考えられます。
ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい(support@ensoftcorp.com)。