Идентификаторы должны быть отличны от макро-имен
Идентификаторы должны быть отличны от макро-имен.
Правило требует, чтобы макро-имена, которые существуют только до обработки, отличались от имен идентификатора, которые также существуют после предварительной обработки. Хранение макро-имен и идентификаторов отличная справка избегает беспорядка.
Polyspace® рассматривает два имени как отличные, если существует различие между их первыми 63 символами. В C90 различие должно находиться между первым 31 символом. Чтобы использовать проверку правил C90, используйте значение c90
для опции C standard version (-c-version)
.
Идентификатор XX имеет те же значительные символы как макро-YY.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: Идентификаторы |
Категория: необходимый |
Категория AGC: необходимый |
Check MISRA C:2012 (-misra3)
| MISRA C:2012 Rule 5.1
| MISRA C:2012 Rule 5.2
| MISRA C:2012 Rule 5.4