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

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

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

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

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

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

#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);
}