моя программа использует некоторую арифметику с плавающей точкой.На моей собственной рабочей станции он выполняет свою работу, как и ожидалось, но на другой машине он выдает странные ошибки с плавающей запятой.Обе машины используют gcc 4.4.3 в Linux, и строка компилятора для всех объектов имеет вид
g++ -std=gnu++0x -g -fkeep-inline-functions -pedantic -Wall -Wextra -Wno-type-limits -Wno-unused -Wno-reorder -Wno-vla
. Существует ли отладчик или средство проверки кода («unlinter»), которое специализируется на обнаружении возможных непреднамеренных действий с плавающей точкой во время выполнениявремя или небезопасные операции с плавающей точкой в источнике?Конечно, набор опций в gcc тоже будет для меня очень полезен.