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