This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
On Sat, 29 Mar 2008, Eric Botcazou wrote:
> > That effectively means that the subtypes do not carry any useful
> > information for the middle-end. Thus I propose to eliminate them
> > from the middle-end basically "lowering" all of them to their
> > base type. This will make all of the issues with them magically
> > go away, simplifying the IL and improving maintainability and
> > understandability of the GCC middle-end.
> As we say in French: you're preaching to a converted man. Unfortunately,
> although this viewpoint is shared by other compiler guys at AdaCore, it's
> not the consensus.
Well, I guess we can reach "consensus" by pressure from the middle-end.
With the understanding I now got I will care less about any problems
these types cause with ada - my recommendation will now be to not
expose them ;)