[Bug ada/15805] Illegal program not detected, allows writing through access to constant

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 14:35 -------
Subject: Bug 15805

Author: sam
Date: Fri Dec  7 14:35:22 2007
New Revision: 130676

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130676
Log:
    gcc/ada/
        PR ada/15805
        * sem_ch6.adb (Process_Formals): Prevent an access type formal
        to be initialized with an access to constant object.

    gcc/testsuite/
        PR ada/15805
        * gnat.dg/specs/access_constants.ads: New test.

Added:
    trunk/gcc/testsuite/gnat.dg/specs/access_constant.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/testsuite/ChangeLog


-- 


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