Переполнение при преобразовании между типами данных с плавающей запятой
Переполнение преобразования плавающее происходит при преобразовании числа с плавающей точкой в меньший тип данных с плавающей запятой. Если переменная не имеет достаточной памяти, чтобы представлять исходный номер, переполнение преобразования.
Точное выделение ресурсов хранения для различных типов с плавающей точкой зависит от вашего процессора. Смотрите Target processor type (-target)
.
Переполнение может привести к непредсказуемым значениям от вычислений. Результатом может быть бесконечность или максимальное конечное значение в зависимости от округляющегося режима, используемого в реализации. Если вы используете результат переполняющегося преобразования в последующих вычислениях и не объясняете переполнение, вы видите неожиданные результаты.
Фиксация зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как преобразовываемая переменная получает свое текущее значение, можно реализовать закрепление на любом событии в последовательности. Если детали результата не показывают историю события, можно проследить использование, щелкните правой кнопкой по опциям по исходному коду и смотрите предыдущие связанные события. См. также Интерпретируют Результаты Polyspace Bug Finder.
Можно зафиксировать дефект:
Используя больший тип данных для результата преобразования так, чтобы все значения могли быть размещены.
Проверка значения, которые приводят к переполнению и выполнению соответствующей обработки ошибок.
В целом избегайте преобразований в меньшие типы с плавающей точкой.
Смотрите примеры мер ниже.
Если вы не хотите устранять проблему, добавьте комментарии в свой результат или код, чтобы избежать другого анализа. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии.
Группа: числовой |
Язык: C | C++ |
Значение по умолчанию: на |
Синтаксис командной строки: FLOAT_CONV_OVFL |
Влияние: высоко |
ID CWE: 189, 197, 681 |
Find defects (-checkers)
| Integer conversion overflow
| Sign change integer conversion overflow
| Unsigned integer conversion overflow