Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP

[kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)]

> I see.  I couldn't find any such pragma in the docs, is this a new feature?

It's something that could be done for this case.

> I thought the issue was whether integer types with restricted ranges
> should be eliminated from the middle-end in favour of __builtin_assume.
> As for the pragma that requires initialization, presumably in this case
> most range checks wouldn't be needed, so the front-end could simply not
> generate them in the first place.

I don't follow.  If I have a subtype and an assignment to it, whether or
not the variables are initialized is completely orthogonal to the issue of
whether range checks are required.