Проект не должен содержать энергонезависимых переменных POD, имеющих только одно использование
Проект не должен содержать энергонезависимых переменных POD, имеющих только одно использование.
Если вы используете энергонезависимую переменную с простым типом старых данных (int
, double
, и т. д.) только один раз можно заменить переменную на постоянный литерал. Ваше использование переменной указывает, что вы планировали более одного использования для этой переменной и, возможно, имели ошибку программирования в коде. Вы, возможно, пропустили другие виды использования энергонезависимой переменной или неправильно использовали другие переменные в предполагаемых точках использования.
Чекер помечает локальные и статические переменные, которые имеют возможности (локально статические) и возможности файлов, которые используются только один раз. Шашка рассматривает const
-квалифицированные глобальные переменные без extern
спецификатор как статические переменные с файлом возможностей.
Шашка рассчитывает эти случаи использования как одно использование энергонезависимой переменной:
Явная инициализация с использованием постоянного литерала или возвращаемого значения функции
Назначение
Ссылка на переменную, такую как операция чтения
Назначение адреса переменной указателю
Если адрес переменной назначен указателю, средство проверки принимает, что указатель может быть удален позже, и не помечает переменную.
Некоторые объекты спроектированы, чтобы использоваться только один раз в их семантике. Polyspace® не помечает ни одного использования этих объектов:
lock_guard
scoped_lock
shared_lock
unique_lock
thread
future
shared_future
Если вы используете нестандартные объекты, которые обеспечивают такие же функциональные возможности, как и объекты из предыдущего списка, Polyspace может пометить одно использование нестандартных объектов. Обосновать их одиночное использование с помощью комментариев.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
Группа: Языковые независимые вопросы |
Категория: Необходимый, Автоматизированный |