INT: Vacuous comparison of integer value (INT_VACUOUS_COMPARISON)
There is an integer comparison that always returns the same value (e.g., x <= Integer.MAX_VALUE).