Nov 18th, 2011
Improved handling of ‘Width with Discard_Names
In the presence of Discard_Names, the behavior of Width is implementation defined. In accordance with recommendations in the AARM, GNAT now gives a result that is consistent with the behavior of Image, i.e. it gives the value required to hold the Image of the largest Pos value. This also means that the configurable run-time (including ZFP) fully supports 'Width.