tree 2d2b90b0f519db30c9209004a803d9eca67cd4c7
parent cabca4dd5aa70e9a175a3802bb43a31a9370da5e
author Steve Baird <baird@adacore.com> 1744418309 -0700
committer Eric Botcazou <ebotcazou@adacore.com> 1751303693 +0200

ada: Record type Put_Image procedures omitting discriminant values

If a type T has a partial view with a known_discriminant_part and no
user-specified Put_Image aspect specification, then the output generated
by  T'Put_Image would incorrectly omit the discriminant values.

gcc/ada/ChangeLog:

	* exp_put_image.adb (Build_Record_Put_Image_Procedure): If
	Discriminant_Specifications takes us from the full view of a type
	to an (intentionally) unanalyzed subtree, then instead find
	discriminant entities by calling Discriminant_Specifications on
	the partial view of the type.