Управляйте определением

Имя идентификатора объекта лица, не являющегося членом какой-либо организации, или функции со статической продолжительностью хранения не должно быть снова использовано.

Объяснение

Правило отмечает ситуации, где имя идентификатора со статической продолжительностью хранения снова используется. Правило применяется, даже если идентификаторы принадлежат различным пространствам имен, потому что повторное использование оставляет шанс, что вы путаете один идентификатор для другого.

Реализация Polyspace

Флаги средства проверки правила переопределили функции только, когда существует объявление.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Дополнительное сообщение в отчете

Имя идентификатора объекта лица, не являющегося членом какой-либо организации, или функции со статической продолжительностью хранения не должно быть снова использовано.

Идентификатор name не должен быть снова использован.

Уже используемый в качестве статического идентификатора со статической продолжительностью хранения (fileName lineNumber).

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.