-sfr-types)Задайте размеры sfr типы для кода, разработанного с помощью компиляторов Keil или IAR
Задайте размеры sfr типы (типы, которые определяют специальные регистры функций).
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Target & Compiler. Смотрите Зависимость для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -sfr-types. См. «Информация о командной строке».
Используйте эту опцию, если у вас есть такие операторы, как sfr addr = 0x80; в вашем коде. sfr типы не являются стандартными типами C. Поэтому необходимо явно задать их размеры для Polyspace® анализ.
По умолчанию нет
Перечислите каждое имя sfr и его размер в битах.
Эта опция доступна только при Compiler (-compiler) установлено в keil или iar.
Синтаксис:
-sfr-типы sfr_name |
| По умолчанию нет |
Имя Значение: имя sfr, такое как sfr16. |
Значение размера
: 8 | 16 | 32 |
Пример (Bug Finder):
polyspace-bug-finder -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (Code Prover):
polyspace-code-prover -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (Bug Finder Server): polyspace-bug-finder-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (Code Prover Server):
polyspace-code-prover-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |