]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Put_Image aspect spec ignored for null extension.
authorSteve Baird <baird@adacore.com>
Thu, 13 Jun 2024 22:39:37 +0000 (15:39 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 2 Jul 2024 13:20:35 +0000 (15:20 +0200)
commit15d3f36f76bda1720555b7f426957951d4e3b76d
treecaa1fb387d7d7e0ce3a13913423e53bde8ba9bba
parent03308301c7bb2eed0bc8990db7038aac3a2dcb97
ada: Put_Image aspect spec ignored for null extension.

If type T1 is is a tagged null record with a Put_Image aspect specification
and type T2 is a null extension of T1 (with no aspect specifications), then
evaluation of a T2'Image call should include a call to the specified procedure
(as opposed to yielding "(NULL RECORD)").

gcc/ada/

* exp_put_image.adb
(Build_Record_Put_Image_Procedure): Declare new Boolean-valued
function Null_Record_Default_Implementation_OK; call it as part of
deciding whether to generate "(NULL RECORD)" text.
gcc/ada/exp_put_image.adb