On Tue, Nov 14, 2023 at 08:10:21AM +0000, Richard Biener wrote:
> > The following testcase ICEs because BITINT_TYPE isn't handled in
> > type_contains_placeholder_1. Given that Ada doesn't emit it, it doesn't
> > matter that much where exactly we handle it as right now it should never
> > contain a placeholder; I've picked the same spot as INTEGER_TYPE, but if
> > you prefer e.g. the one with OFFSET_TYPE above, I can move it there too.
>
> Do we fill in TYPE_MIN/MAX_VALUE for BITINT_TYPE? In that case the
> patch is OK. Otherwise I'd pick the OFFSET_TYPE place.
We do (otherwise a lot of things would break).
Jakub
