https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90691
--- Comment #2 from Roman Lebedev <lebedev.ri at gmail dot com> --- (In reply to Richard Biener from comment #1) > Confirmed. Note that this isn't just about constants, but about the evaluation of constant-range of the signed operand. E.g. '(b ? 10 : 9)' is not a constant, but you know it will always be positive.