Числовые проверки

Проверяет арифметические операции

Результаты Polyspace

Division by zeroДеление на нуль происходит
Invalid operation on floatsРезультатом операции с плавающей точкой является NaN для операндов non-NaN
Invalid shift operationsОперации сдвига недопустимы
OverflowАрифметическая операция вызывает переполнение
Subnormal floatОперация с плавающей точкой имеет субнормальные результаты

Темы

Рассмотрите и зафиксируйте проверки деления на нуль

Рассмотрите предшествующие операции в своем коде, которые приводят к нулевому значению знаменателя.

Рассмотрите и зафиксируйте проверки переполнения

Рассмотрите предшествующие операции в своем коде, которые приводят к переполнению операции.

Рассмотрите и зафиксируйте недопустимые проверки операций сдвига

Рассмотрите предшествующие операции в своем коде, которые приводят к сумме сдвига вне границ или лево-переключаемой отрицательной величины.