[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

["ludovic at ludovic-brenta dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #4 from ludovic at ludovic-brenta dot org  2007-12-07 17:46 -------
You are correct! Per 10.1.2(17/2), Pak4 as seen from Pak5 is the limited view
of the package.  Per 10.1.1(12.3/2), Pak5 sees a "tagged incomplete view" of
Pak4.T2.  Per 3.10.1(2.1/2) this view is limited, so Pak4."=" is not visible
from Pak5 (therefore the last error message is correct, but could perhaps be
improved, e.g. ""=" not visible in the limited view of Pak4").

The ARM does not say explicitly that the tagged limited view has no ancestors;
however, the AARM says (10.1.1(12.g.1/2)) that the compiler should not perform
semantic analysis on the limited view of a package; since such analysys would
be required to determine the ancestors of a tagged type, we can conclude that
tagged limited views have no (visible) ancestors.  Therefore the first error
message is also correct.

Please close as fixed and set the target milestone, as Bugzilla doesn't allow
me to do that myself.


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED
      Known to work|                            |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381