MISRA C:2012 Rule 22.8

Значение errno буду обнулен до вызова errno- функция установки

Описание

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

Значение errno буду обнулен до вызова errno- функция установки.

Объяснение

Если ошибка происходит во время вызова errno- функция установки, функция пишет ненулевое значение в errno. В противном случае, errno не изменяется.

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

Errno- устанавливающие функции включают:

ftell, fgetpos, fgetwc и связанные функции.
strtoimax, strtol и связанные функции.
Эквиваленты широкого символа, такие как wcstoimax и wcstol также покрыты.

Обменивайтесь сообщениями в отчете

Значение errno буду обнулен до вызова errno- функция установки.

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

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

Примеры

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

`errno` Не сброс перед использованием

#include <stdlib.h>
#include <errno.h>

double val = 0.0;

void f ( void )
{
    val = strtod("1.0",NULL); /* Non-compliant */
    if ( 0 == errno ) /* Check errno for nonzero values */
    {
        val = strtod("1.0",NULL); /* Compliant - case 1*/
        if ( 0 == errno ) /* Check errno for nonzero values */
        {
        }
    }
    else
    {
        errno = 0;
        val = strtod("1.0",NULL); /* Compliant - case 2*/
        if ( 0 == errno ) /* Check errno for nonzero values */
        {
        }
    }
}

В этом примере правило нарушено когда strtod называется, но errno не сбрасывается до вызова.

Правило не нарушено в следующих случаях:

Случай 1: errno сравнен с нулем и затем strtod называется в if( 0 == errno ) ветвь.
Случай 2: errno явным образом обнуляется и затем strtod называется.

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

Группа: ресурсы

Категория: необходимый

Категория AGC: необходимый

Язык: C90, C99

Темы

Введенный в R2017a

Документация Polyspace Bug Finder

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

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

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