]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Record type Put_Image procedures omitting discriminant values
authorSteve Baird <baird@adacore.com>
Sat, 12 Apr 2025 00:38:29 +0000 (17:38 -0700)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 30 Jun 2025 17:14:53 +0000 (19:14 +0200)
commit29042b6d01f497ce4f98398e8ed0435b078a6936
tree2d2b90b0f519db30c9209004a803d9eca67cd4c7
parentcabca4dd5aa70e9a175a3802bb43a31a9370da5e
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.
gcc/ada/exp_put_image.adb