このチェックリストのアイテムは変換のタイプの制約ですです
ModelifyのSimulinkの変換は、C言語のソースコード内の「goto」ステートメントに対応していません。
ModelifyのStateflow変換は「goto」ステートメントに対応しています。関数をStateflowに変換するか、あるいは、制御フローの論理を変更し、「goto」ステートメントを使用しないようにすることで対応が可能です。
ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい(support@ensoftcorp.com)。