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

ada: Cleanup comment about mapping parameters when inlining

Browse source 
Improve location of the comment about a special case for GNATprove mode.

gcc/ada/

	* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): Move
	comment next to a condition that it describes.
This commit is contained in:
Piotr Trojanek 2022-08-12 11:51:30 +02:00 • committed by Marc Poulhiès
parent 748976cfc8
commit 76b35e7227
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
gcc/ada/inline.adb
View file

@ -3013,14 +3013,10 @@ package body Inline is
Temp_Typ := Etype (A);
end if;
-- If the actual is a simple name or a literal, no need to
-- create a temporary, object can be used directly.
-- If the actual is a literal and the formal has its address taken,
-- we cannot pass the literal itself as an argument, so its value
-- must be captured in a temporary. Skip this optimization in
-- GNATprove mode, to make sure any check on a type conversion
-- will be issued.
-- If the actual is a simple name or a literal, no need to create a
-- temporary, object can be used directly. Skip this optimization in
-- GNATprove mode, to make sure any check on a type conversion will
-- be issued.
if (Is_Entity_Name (A)
and then
@ -3039,6 +3035,10 @@ package body Inline is
and then Formal_Is_Used_Once (F)
and then not GNATprove_Mode)
-- If the actual is a literal and the formal has its address taken,
-- we cannot pass the literal itself as an argument, so its value
-- must be captured in a temporary.
or else
(Nkind (A) in
N_Real_Literal | N_Integer_Literal | N_Character_Literal