[Bug ada/15803] Illegal program not detected, RM 8.3(19)

[charlet at gcc dot gnu dot org]

------- Comment #6 from charlet at gcc dot gnu dot org  2007-12-19 16:24 -------
Subject: Bug 15803

Author: charlet
Date: Wed Dec 19 16:24:34 2007
New Revision: 131079

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131079
Log:
2007-12-19  Ed Schonberg  <schonberg@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>

        PR ada/15803, ada/15805
        * sem_ch6.adb, sem_ch3.adb (Constrain_Access): In Ada2005, diagnose
        illegal access subtypes when there is a constrained partial view.
        (Check_For_Premature_Usage): New procedure inside
        Access_Subprogram_Declaration for checking that an access-to-subprogram
        type doesn't reference its own name within any formal parameters or
        result type (including within nested anonymous access types).
        (Access_Subprogram_Declaration): Add call to Check_For_Premature_Usage.
        (Sem_Ch3.Analyze_Object_Declaration, Sem_ch6.Process_Formals): if the
        context is an access_to_variable, the expression cannot be an
        access_to_constant.


Modified:
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch6.adb


-- 


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