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