https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77899
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Martin Sebor from comment #5) > My other point (one somewhat related to bug 77898) is that it's confusing to > represent the VR_RANGE [-128, 127] of the signed char variable as a > VR_ANTI_RANGE ~[128, 18446744073709551487] No we are not presenting signed char range as ~[128, 18446744073709551487] . This is a signed char converted into an unsigned type. The range of that is ~[128, 18446744073709551487] .