Недопустимое использование стандартной библиотеки с плавающей запятой при использовании недопустимых аргументов с функцией с плавающей запятой из стандартной библиотеки. Этот дефект обнаруживается:

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

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Этот список событий используется для определения того, как аргумент функции получает недопустимые значения. Исправление может быть реализовано для любого события в последовательности. Если сведения о результатах не отображают историю событий, можно выполнить обратную трассировку, щелкнув правой кнопкой мыши параметры в исходном коде и просмотреть предыдущие связанные события. См. также раздел Интерпретация результатов поиска ошибок в интерфейсе пользователя Polyspace Desktop.

Рекомендуется обрабатывать ошибки домена перед использованием стандартной библиотечной функции с плавающей запятой. Например, перед вызовом acos функция, проверьте, находится ли аргумент в [-1.0, 1.0], и обработайте ошибку.

См. примеры исправлений ниже.

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

#include <math.h>

double arccosine(void) {
    double degree = 5.0;
    return acos(degree);
}

Входное значение для acos должен находиться в интервале [-1,1]. Этот входной аргумент, degree, находится за пределами этого диапазона.

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

#include <math.h>

double arccosine(void) {
    double degree = 5.0;
    double radian = degree * 3.14159 / 180.;
    return acos(radian);
}