MISRA C:2012 Dir 4.7

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

Описание

Направляющее определение

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

Объяснение

Обычно функция указывает, произошла ли ошибка во время выполнения, через специальное возвращаемое значение или другим означает.

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

Реализация Polyspace

Проверка этой директивы следует тем же техническим требованиям как дефектное средство проверки Returned value of a sensitive function not checked.

Эта директива только частично поддержана.

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

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

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

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

Введенный в R2017a