exponenta event banner

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

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

Результаты Polyspace

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

Темы

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

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

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

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

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

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