From: Javier Miranda <miranda@adacore.com>
Date: Wed, 28 May 2008 15:33:54 +0000 (+0200)
Subject: sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9800ef594c9e73b5bd04ba27924384cf4d73a127;p=gcc.git

sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation.

2008-05-28  Javier Miranda  <miranda@adacore.com>

	* sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation.

From-SVN: r136104
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 3dc47a37537..88a44138039 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -11398,6 +11398,13 @@ package body Sem_Ch3 is
             while Present (Prim_Elmt) loop
                Iface_Subp := Node (Prim_Elmt);
 
+               --  Exclude derivation of predefined primitives except those
+               --  that come from source. Required to catch declarations of
+               --  equality operators of interfaces. For example:
+
+               --     type Iface is interface;
+               --     function "=" (Left, Right : Iface) return Boolean;
+
                if not Is_Predefined_Dispatching_Operation (Iface_Subp)
                  or else Comes_From_Source (Iface_Subp)
                then