Счетчик цикла не должен иметь чрезвычайно типа с плавающей точкой
Счетчик цикла не должен иметь чрезвычайно типа с плавающей точкой.
При использовании счетчика цикла с плавающей точкой накопление погрешностей округления может привести к несоответствию между ожидаемым и фактическим количеством итераций. Эта погрешность округления может произойти, когда шаг цикла, который не является степенью основания с плавающей точкой, округлен к значению, которое может быть представлено плаванием.
Даже если цикл со счетчиком цикла с плавающей точкой, кажется, ведет себя правильно на одной реализации, он может дать различное количество итерации на другой реализации.
Если for
индекс является переменным символом, Polyspace® проверяет, что это не плавание.
Счетчик цикла не должен иметь чрезвычайно типа с плавающей точкой.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: управляйте выражениями оператора |
Категория: необходимый |
Категория AGC: консультация |
Язык: C90, C99 |