[PATCH] Improve PR30911 and PR31023, Ada and VRP

[Eric Botcazou]

> 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.

-- 
Eric Botcazou