Значение объекта с автоматической длительностью хранения не должно считываться до его установки
Сообщение в отчете:
Значение объекта с автоматической длительностью хранения не должно считываться до его установки.
Переменной с автоматической длительностью хранения выделяется память в начале окружающего кодового блока и освобождается в конце. Все неглобальные переменные имеют такую продолжительность хранения, за исключением объявленных static или extern.
Переменные с автоматической длительностью хранения не инициализируются автоматически и имеют неопределенные значения. Поэтому не следует читать такую переменную, прежде чем устанавливать ее значение с помощью операции записи.
Анализ Polyspace ® проверяет некоторые нарушения как неинициализированные переменные. Дополнительные сведения см. в разделеNon-initialized local variable.
Polyspace Bug Finder™ и Polyspace Code Prover™ проверки этого правила кодирования по-разному. Анализ может дать различные результаты. В программе Code Prover можно также увидеть разницу в результатах на основе выбора опции. Verification level (-to). См. раздел Проверка нарушений стандартов кодирования.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: Инициализация |
| Категория: Обязательно |
| Категория СМЖЛ: обязательная |