https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101830
--- Comment #7 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Sorry, but that IL looks very strange to me. BB 5 should be going directly to BB 8, and the value of interest along that path is pos.80_31. But BB 8 says that it only gets pos.80 from BB 36, and the value along that path is pos.80_81. For the index to be in the range [1024, INT_MAX] is absurd on its face, coming from BB 5 where it is clearly constrained to be within [INT_MIN, 1023]. Can you please explain? I don't understand this at all.
