[Bug ada/15805] Illegal program not detected, allows writing through access to constant
sam at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Fri Dec 7 14:35:00 GMT 2007
------- 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
More information about the Gcc-bugs
mailing list