https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97360
--- Comment #16 from rguenther at suse dot de <rguenther at suse dot de> --- On Fri, 16 Oct 2020, amacleod at redhat dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97360 > > --- Comment #15 from Andrew Macleod <amacleod at redhat dot com> --- > Well it seems far more incorrect that types_compatible_p () is FALSE for a > type > and its MIN/MAX value? But then this (types_compatible_p () is FALSE) is not going to be fixed by the patch - or at least the type that was copied retains the issue. So it's certainly the wrong place to fix. Note that for integer subtypes generated by Ada the min/max values are in the "parent" type. Usually the types are compatible though (same precision and signedness).
