ada: Missing constraint check for 'Length attribute reference

In some cases involving a universal-integer-valued attribute reference
(typically a 'Length attribute reference) occurring as an actual parameter
in a call, the runtime check that the constraints of the formal parameter
are satisfied is incorrectly not performed.

gcc/ada/ChangeLog:
	* sem_attr.adb (Resolve_Attribute): When setting the Etype of a
	universal-integer-valued attribute reference to the subtype
	determined by its context, use the basetype of that subtype
	instead of the subtype itself if there is a possibility that the
	attribute value will not satisfy the constraints of that subtype.
	Otherwise the compiler is, in effect, assuming something that
	might not be true. Except use the subtype in the case of a
	not-from-source 'Pos attribute reference in order to avoid
	breaking things.

0 files changed, 0 insertions, 0 deletions