Does this condition correlate with disabled code branch?