diff options
| author | Steve Baird <baird@adacore.com> | 2024-06-13 15:39:37 -0700 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-07-02 15:20:35 +0200 |
| commit | 15d3f36f76bda1720555b7f426957951d4e3b76d (patch) | |
| tree | caa1fb387d7d7e0ce3a13913423e53bde8ba9bba /gcc/dwarf2ctf.cc | |
| parent | 03308301c7bb2eed0bc8990db7038aac3a2dcb97 (diff) | |
| download | gcc-15d3f36f76bda1720555b7f426957951d4e3b76d.zip gcc-15d3f36f76bda1720555b7f426957951d4e3b76d.tar.gz gcc-15d3f36f76bda1720555b7f426957951d4e3b76d.tar.bz2 | |
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.
Diffstat (limited to 'gcc/dwarf2ctf.cc')
0 files changed, 0 insertions, 0 deletions