# V2634. MISRA. Features from <fenv.h> should not be used.

Данное диагностическое правило основано на руководстве MISRA (Motor Industry Software Reliability Association) по разработке программного обеспечения.

Правило актуально только для языка С.

Не следует использовать функции или макросы из заголовочного файла `<fenv.h>`. В некоторых ситуациях поведение программы может быть не уточнено или даже не определено при использовании функционала из этого файла.

Рассмотрим некоторые проблемы, которые могут возникать при использовании функционала `<fenv.h>`.

Проблема N1. Порядок, в котором выставляются флаги исключений при работе с вещественными числами, при вызове функции `feraiseexcept` не уточнён.

Проблема N2. Поведение не определено при вызове функций `fesetenv` и/или `feupdateenv` с аргументом, который не был получен путём вызова `feholdexcept` / `fegetenv` или раскрытия макроса `FE_DFL_ENV`.

Проблема N3. Некоторые реализации функции из заголовочного файла `<math.h>` поддерживают округление вещественных чисел только до ближайшего представимого значения (`FE_TONEAREST`). Если был установлен другой режим округления, то поведение при вызове таких функций может быть непредсказуемым.

Примеры, на которых анализатор выдаст срабатывания:

    void clear_overflow_status()
    {
      feclearexcept(FE_OVERFLOW);
    }

    void change_rounding_direction()
    {
      fesetround(FE_DOWNWARD);
    }

    double some_computation(void)
    {
      int r = feraiseexcept(FE_OVERFLOW | FE_INEXACT);
      printf("feraiseexcept() %s\n", (r?"fails":"succeeds"));
      return 0.0;
    }

Данная диагностика классифицируется как:

MISRA-C-2012-21.12 MISRA-C-2023-21.12