FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Put_Image aspect spec incorrectly not inherited

Browse source 
In some cases, a Put_Image aspect specification for a scalar type was not
correctly inherited by a descendant of that type.

gcc/ada/

	* exp_put_image.adb
	(Image_Should_Call_Put_Image): Correctly handle the case of an
	inherited Put_Image aspect specification for a scalar type.
This commit is contained in:
Steve Baird 2022-10-11 15:21:39 -07:00 • committed by Marc Poulhiès
parent ae3952715c
commit 748976cfc8
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ada/exp_put_image.adb
View file

@ -1039,13 +1039,13 @@ package body Exp_Put_Image is
end if;
-- In Ada 2022, T'Image calls T'Put_Image if there is an explicit
-- aspect_specification for Put_Image, or if U_Type'Image is illegal
-- in pre-2022 versions of Ada.
-- (or inherited) aspect_specification for Put_Image, or if
-- U_Type'Image is illegal in pre-2022 versions of Ada.
declare
U_Type : constant Entity_Id := Underlying_Type (Entity (Prefix (N)));
begin
if Present (TSS (U_Type, TSS_Put_Image)) then
if Present (Find_Aspect (U_Type, Aspect_Put_Image)) then
return True;
end if;