Внешние идентификаторы должны быть отличными
Внешние идентификаторы должны быть отличными.
Внешние идентификаторы являются единицами, объявленными с глобальной областью видимости или классом памяти extern
.
Polyspace® рассматривает два имени как отличные, если существует различие между их первым 31 символом. Если различие между двумя именами происходит только вне первого 31 символа, они могут быть легко приняты друг за друга. Удобочитаемость кода уменьшается. Для C90 различие должно произойти между первыми 6 символами. Чтобы использовать проверку правил C90, используйте значение c90
для опции C standard version (-c-version)
.
Внешний %s %s
конфликтует с внешним идентификатором XX в файле YY.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: Идентификаторы |
Категория: необходимый |
Категория AGC: необходимый |
Язык: C90, C99 |
MISRA C:2012 Rule 5.2
| MISRA C:2012 Rule 5.4
| MISRA C:2012 Rule 5.5