Exponenta Banner
exponenta event banner

MISRA C++:2008 Rule 19-3-1

Ошибочный индикатор errno не должен использоваться

расширьте все на странице

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

Ошибочный индикатор errno не должен использоваться.

Объяснение

Наблюдение этого правила поощряет хорошую практику не доверия errno проверять состояние ошибки.

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

развернуть все

#include <cstdlib>
#include <cerrno>

void func (const char* str) {
    errno = 0;  // Noncompliant
    int i = atoi(str);
    if(errno != 0) { // Noncompliant
        //Handle Error
    }
}

Использование errno нарушает это правило. Функциональный atoi не требуется установить errno если входная строка не может быть преобразована в целое число. Проверка errno позже не охраняет против возможных отказов в преобразовании.

Проверяйте информацию

Группа: диагностическая библиотека
Категория: необходимый

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Смотрите также

Темы

Введенный в R2013b

Документация Polyspace Code Prover

Поддержка