https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109115
Andrew Macleod <amacleod at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amacleod at redhat dot com --- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Jakub Jelinek from comment #3) > I think it returns false if it is has a type which isn't representable with > the particular range. > Which isn't the case here. > The type is representable, just the range is undefined_p (). Correct. If the range is undefined, then you cannot ask for the upper bounds because there is not one.