Exponenta Banner
exponenta event banner

MISRA C:2012 Rule 21.12

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

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

Описание

Примечание

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

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

Функции обработки исключений <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: консультация

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

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

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

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

Темы

Введенный в R2015b

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

Поддержка