Идентификаторы должны отличаться от макросов имен
Идентификаторы должны отличаться от макро- имен.
Правило требует, чтобы имена макросов, которые существуют только до обработки, отличались от имен идентификаторов, которые также существуют после предварительной обработки. Сохранение различных имен и идентификаторов макросов помогает избежать путаницы.
Polyspace® рассматривает два имени как различные, если существует различие между их первыми 63 символами. В C90 различие должна быть между первыми 31 символами. Чтобы использовать проверку правил C90, используйте значение c90
для опции C standard version (-c-version)
. Вы можете изменить количество символов по сравнению с помощью опции -code-behavior-specifications
. См. -code-behavior-specifications
.
Идентификатор 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