OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Add comment about function only used in CodePeer 

2020-06-05  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_util.ads: Add comment about function only used in
	CodePeer.
This commit is contained in:
Yannick Moy 2020-02-03 16:30:34 +01:00 committed by Pierre-Marie de Rodat
parent 2107ca0242
commit ca124a6285
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/ada/sem_util.ads
View File

@ -1251,6 +1251,7 @@ package Sem_Util is
-- * A task type
-- * A private type with pragma Default_Initial_Condition that provides
-- full default initialization.
-- This function is not used in GNATprove anymore, but is used in CodePeer.
function Has_Fully_Default_Initializing_DIC_Pragma
(Typ : Entity_Id) return Boolean;