Exponenta Banner
exponenta event banner

Floating point comparison with equality operators

Неточное сравнение переменных с плавающей точкой

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

Описание

Этот дефект возникает, когда вы используете равенство (==) или неравенство (!=) операция с числами с плавающей запятой.

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 через исправления ошибок или обоснования.

Примеры

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

#include <stdio.h>
#include <math.h>
#include <float.h>

void func(void)
{
    float f;
    for (f = 1.0; f != 2.0; f = f + 0.1)    
        (void)printf("Value: %f\n", f);
}

В этой функции for-цикл проверяет неравенство f и число 2.0 как механизм остановки. Количество итераций трудно определить или может быть бесконечным из-за неточности в представлении с плавающей точкой.

Коррекция - Изменение оператора

Одной из возможных коррекций является использование другого оператора, который не является таким строгим. Для примера такое неравенство, как >= или <=. 

#include <stdio.h>
#include <math.h>
#include <float.h>

void func(void)
{
    float f;
    for (f = 1.0; f <= 2.0; f = f + 0.1)    
        (void)printf("Value: %f\n", f);
}

Информация о результатах

Группа: Программирование
Язык: C | C++
По умолчанию: Off
Синтаксис командной строки : BAD_FLOAT_OP
Влияние: Средний
ИДЕНТИФИКАТОР CWE : 873

См. также

Темы

Введенный в R2013b

Документация Polyspace Bug Finder

Поддержка