Отладчик или развязка C для работы с плавающей запятой

#gcc #floating-point #debugging

#gcc #отладчик с плавающей запятой #отладка

Вопрос:

моя программа использует некоторую арифметику с плавающей запятой. На моей собственной рабочей станции он выполняет свою работу, как ожидалось, но на другой машине он выдает странные ошибки с плавающей запятой. Обе машины используют 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 был бы очень полезен и для меня.

Ответ №1:

Это не та версия gcc , о которой вам обычно нужно беспокоиться. Код с плавающей запятой находится внутри, glibc поэтому вам следует проверить версии для этого.