Exponenta Banner

Правило 21.12 MISRA C:2012

Функции обработки исключений <fenv.h> не должны быть использованы

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

Описание

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

Функции обработки исключений <fenv.h> не должны быть использованы.

Объяснение

В некоторых случаях значения флагов состояния с плавающей точкой не заданы. Попытки получить доступ к ним могут вызвать неопределенное поведение.

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

Функции обработки исключений <fenv.h> не должны быть использованы

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

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

Примеры

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

#include <fenv.h>

void func(float x, float y) {
    float z;

    feclearexcept(FE_DIVBYZERO);              /* Non-compliant */
    z = x/y;

    if(fetestexcept (FE_DIVBYZERO))  {        /* Non-compliant */
    }
    else {
#pragma STDC FENV_ACCESS ON
        z=x*y;
        if(z>x) {
#pragma STDC FENV_ACCESS OFF
            if(fetestexcept (FE_OVERFLOW)) {  /* Non-compliant */
            }
        }
    }
}

В этом примере нарушено правило, когда идентификаторы feclearexcept и fetestexcept и макросы FE_DIVBYZERO и FE_OVERFLOW используются.

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

Группа: Стандартные библиотеки
Категория: консультация
Категория AGC: консультация
Язык: C99

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

Темы

Введенный в R2015b

Документация Polyspace Code Prover
Поддержка