diff options
| author | Yannick Moy <moy@adacore.com> | 2020-02-03 16:30:34 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:44 -0400 |
| commit | ca124a628569b6f3038223b690d051f9ab5344f1 (patch) | |
| tree | 80df20c229ced4958a7ec375cb08daa3d4cf0126 | |
| parent | 2107ca0242fdbe6f21c9c33c0fd1b812ae944404 (diff) | |
| download | gcc-ca124a628569b6f3038223b690d051f9ab5344f1.zip gcc-ca124a628569b6f3038223b690d051f9ab5344f1.tar.gz gcc-ca124a628569b6f3038223b690d051f9ab5344f1.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_util.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 391711c..0ac89f7 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; |