On Mon, Dec 18, 2017 at 09:36:46AM -0700, Jeff Law wrote:
> On 12/18/2017 08:10 AM, Marek Polacek wrote:
> > I'm not entirely up to speed with this code, but this one seemed
> > sufficiently
> > obvious: check INTEGRAL_TYPE_P before looking at a tree's min/max value.
> > Otherwise, go with maxobjsize.
> >
> > Bootstrapped/regtested on x86_64-linux, ok for trunk?
> >
> > 2017-12-18 Marek Polacek <pola...@redhat.com>
> >
> > PR middle-end/83463
> > * gimple-ssa-warn-restrict.c (builtin_memref::builtin_memref):
> > Check if TYPE is INTEGRAL_TYPE_P before accessing its min/max
> > values.
> >
> > * gcc.dg/pr83463.c: New test.
> OK.
What about INTEGRAL_TYPE_Ps that have NULL TYPE_MIN_VALUE and/or
TYPE_MAX_VALUE? Doesn't Ada create those?
Jakub
