From: Yannick Moy <moy@adacore.com>
Date: Mon, 3 Feb 2020 15:30:34 +0000 (+0100)
Subject: [Ada] Add comment about function only used in CodePeer
X-Git-Tag: basepoints/gcc-12~7274
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ca124a628569b6f3038223b690d051f9ab5344f1;p=thirdparty%2Fgcc.git

[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.
---

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 391711c7d01f..0ac89f7532e1 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -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;