Чтобы изменить поведение по умолчанию дефектного средства проверки, используйте опции поведения проверки. Например, по умолчанию, анализ не учитывает не конечные плавания. Если вы видите сравнения с бесконечностями и NaN-s, отмечаемым как мертвый код, изменяете предположение по умолчанию.
Consider non finite floats (-allow-non-finite-floats) | Включите аналитический режим, который включает бесконечности и NaNs |