Имя идентификатора объекта лица, не являющегося членом какой-либо организации, или функции со статической продолжительностью хранения не должно быть снова использовано
Это средство проверки деактивировано в Polyspace® по умолчанию как Вы Анализ кода. Смотрите Средства проверки, Деактивированные в Polyspace, когда Вы Кодируете Анализ По умолчанию (Polyspace Bug Finder Access).
Имя идентификатора объекта лица, не являющегося членом какой-либо организации, или функции со статической продолжительностью хранения не должно быть снова использовано.
Правило отмечает ситуации, где имя идентификатора со статической продолжительностью хранения снова используется. Правило применяется, даже если идентификаторы принадлежат различным пространствам имен, потому что повторное использование оставляет шанс, что вы путаете один идентификатор для другого.
Флаги средства проверки правила переопределили функции только, когда существует объявление.
Средство проверки не повышено на неиспользованном коде такой как
Неинстанцированные шаблоны
Невостребованный static или extern функции
Невостребованные и неопределенные локальные функции
Неиспользованные типы и переменные
Bug Finder и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
Имя идентификатора объекта лица, не являющегося членом какой-либо организации, или функции со статической продолжительностью хранения не должно быть снова использовано.
Идентификатор name не должен быть снова использован.
Уже используемый в качестве статического идентификатора со статической продолжительностью хранения (fileName
lineNumber).
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
| Группа: лексические соглашения |
| Категория: консультация |
