git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/sem_ch6.adb

projects / thirdparty / gcc.git / commit

author	Samuel Tardieu <sam@rfc1149.net>
	Fri, 7 Dec 2007 14:35:22 +0000 (14:35 +0000)
committer	Samuel Tardieu <sam@gcc.gnu.org>
	Fri, 7 Dec 2007 14:35:22 +0000 (14:35 +0000)
commit	2eb160f205ce2a807ecdef95b2e88652a5e3f0ed
tree	99ac07d9e57d5b57c2e90cab12cbde419f4ecfb6	tree \| snapshot
parent	e397a9f1b6dcd66e4d5606588c3e3cdf687cf194	commit \| diff

re PR ada/15805 (Illegal program not detected, allows writing through access to constant)

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.

From-SVN: r130676

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/sem_ch6.adb		diff \| blob \| blame \| history
gcc/testsuite/ChangeLog		diff \| blob \| blame \| history
gcc/testsuite/gnat.dg/specs/access_constant.ads	[new file with mode: 0644]	blob

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom