Определение правила

Значение объекта с автоматической длительностью хранения не должно считываться до его установки.

Объяснение

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

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

Внедрение Polyspace

Анализ Polyspace ® проверяет некоторые нарушения как неинициализированные переменные. Дополнительные сведения см. в разделеNon-initialized variable.

Polyspace Bug Finder™ и Polyspace Code Prover™ проверки этого правила кодирования по-разному. Анализ может дать различные результаты. В программе Code Prover можно также увидеть разницу в результатах на основе выбора опции. См. раздел Проверка нарушений стандартов кодирования.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.