This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213287 - in /trunk/gcc/ada: ChangeLog a-ciorse...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 14:34:38 -0000
- Subject: r213287 - in /trunk/gcc/ada: ChangeLog a-ciorse...
Author: charlet
Date: Wed Jul 30 14:34:38 2014
New Revision: 213287
URL: https://gcc.gnu.org/viewcvs?rev=213287&root=gcc&view=rev
Log:
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Check_Expression_Function): At the freeze point
of an expression function, verify that the expression in the
function does not contain references to any deferred constants
that have no completion yet.
(Freeze_Expression, Freeze_Before): call
Check_Expression_Function.
* a-ciorse.ads: Add Reference_Control_Type to detect tampering.
* a-ciorse.adb: Add Adjust and Finalize routines for
Reference_Control_Type. Use it in the construction of Reference
and Constant_Reference values.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-ciorse.adb
trunk/gcc/ada/a-ciorse.ads
trunk/gcc/ada/freeze.adb