[gcc(refs/users/marxin/heads/slp-function-v2)] [Ada] Add comment about function only used in CodePeer

[Martin Liska]

https://gcc.gnu.org/g:ca124a628569b6f3038223b690d051f9ab5344f1

commit ca124a628569b6f3038223b690d051f9ab5344f1
Author: Yannick Moy <moy@adacore.com>
Date:   Mon Feb 3 16:30:34 2020 +0100

    [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:
---
 gcc/ada/sem_util.ads | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 391711c7d01..0ac89f7532e 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;