このチェックリストのアイテムはModelifyの制約ですです
このチェックリストのアイテムは、ModelifyのStateflowの変換がグローバル変数、または、静的ローカルポインタ変数に対してオフセット変数を作ろうと試みる際に発生します。オフセット変数は、ポインタのベースアドレスからポインタの反復を開始する際に用いられます。オフセット変数は、配列アクセスの指標変数によく似ています。変数のアドレスを変更すると思われるため、グローバル変数または静的ローカル変数においてはオフセット変数に対応していません。詳細はグローバルポインタのアドレスを変更していますと静的ポインタのアドレスを変更していますを参照して下さい。
コードをリファクタリングし、グローバル変数や静的ローカル変数を直接利用する代わりに、ローカル変数を使ってポインタを反復処理して下さい。こうすることで、Stateflowの変換がオフセット変数としてローカル変数を利用することができるようになります。
ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい（support@ensoftcorp.com）。