This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
> Now what I ask the Ada guys for: please define the semantics
> of sub-types for the middle-end. Stick to _one_ semantics, independent
> of whatever mode the Ada frontend is in, and adjust the Ada frontend
> to emit code that is safe under these semantics.
>
> Is this too much asked?
No, but we don't have a mechanism for it now because "valid" is an attribute
of a *variable*, while bounds are attributes of types. I'd suggest we add
a "invalid" bit to a VAR_DECL and then it can be set by the front end and
propagated as necessary into expressions.