Я пытаюсь выполнить анализ WCET, используя OTAWA на таузбардировке. Тем не менее, инструмент не может разрешить инструкции по косвенным прыжкам. Я исследовал источник этих косвенных прыжков, и я обнаружил, что включенные библиотеки Standrdad являются причиной этих косвенных прыжков. BR /> Эти файлы не включены в структуру, но они добавлены из -за флага компилятора
. И без этого флага у меня есть ошибки линкера неопределенных ссылок. Br /> или как я могу заставить компилятора не генерировать косвенные ветви и заменить его прямыми? < /p>
Подробнее здесь:
https://stackoverflow.com/questions/649 ... -none-eabi