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

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

Результаты Polyspace

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

Темы

Просмотр и исправление деления по нулевым проверкам

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

Просмотрите и исправьте проверки переполнения

Проверьте предыдущие операции в коде, которые приводят к переполнению операции.

Просмотрите и исправьте недопустимые проверки операций смены

Просмотрите предыдущие операции в коде, которые приводят к тому, что величина сдвига вне границ или отрицательное значение сдвигается влево.