Неточное сравнение переменных с плавающей точкой
Этот дефект возникает, когда вы используете равенство (==
) или неравенство (!=
) операция с числами с плавающей запятой.
Polyspace® не поднимает дефект для операции равенства или неравенства с числами с плавающей запятой, когда:
Сравнение происходит между двумя постоянными с плавающей точкой.
float flt = 1.0; if (flt == 1.1)
Сравнение между константой и переменной, которая может взять конечное, достаточно маленькое количество значений.
float x; int rand = random(); switch(rand) { case 1: x = 0.0; break; case 2: x = 1.3; break; case 3: x = 1.7; break; case 4: x = 2.0; break; default: x = 3.5; break; } … if (x==1.3)
Сравнение происходит между выражениями с плавающей точкой, которые содержат только целочисленные значения.
float x = 0.0; for (x=0.0;x!=100.0;x+=1.0) { … if (random) break; } if (3*x+4==2*x-1) … if (3*x+4 == 1.3)
Один из операндов 0.0
, если вы не используете флаг опции -detect-bad-float-op-on-zero
.
/* Defect detected when you use the option flag */ if (x==0.0f)
Если анализ выполняется через пользовательский интерфейс, можно ввести эту опцию в поле Other под узлом Advanced Settings на панели Configuration. См. Other
.
В командной строке добавьте флаг к команде анализа.
polyspace-bug-finder -sources filename ^ -checkers BAD_FLOAT_OP -detect-bad-float-op-on-zero
Проверка на равенство или неравенство двух значений с плавающей точкой может привести к неожиданным результатам, потому что представления с плавающей точкой неточны и включают ошибки округления.
Вместо проверки на равенство значений с плавающей точкой:
if (val1 == val2)
FLT_EPSILON
определено в float.h
):#include <float.h> if(fabs(val1-val2) < FLT_EPSILON)
См. примеры исправлений ниже.
Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.
Группа: Программирование |
Язык: C | C++ |
По умолчанию: Off |
Синтаксис командной строки
: BAD_FLOAT_OP
|
Влияние: Средний |
ИДЕНТИФИКАТОР CWE : 873 |