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