This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r138399 - in /trunk/gcc/ada: checks.adb checks....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 31 Jul 2008 12:46:23 -0000
- Subject: r138399 - in /trunk/gcc/ada: checks.adb checks....
Author: charlet
Date: Thu Jul 31 12:46:23 2008
New Revision: 138399
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138399
Log:
2008-07-31 Gary Dismukes <dismukes@adacore.com>
* checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.
* checks.adb (Apply_Accessibility_Check): Insert the check on
Insert_Node.
* exp_attr.adb:
(Expand_N_Attribute_Refernce, Attribute_Access): Pass attribute node
to new parameter Insert_Node on call to Apply_Accessibility_Check.
Necessary to distinguish the insertion node because the dereferenced
formal may come from a rename, but the check must be inserted in
front of the attribute.
* exp_ch4.adb:
(Expand_N_Allocator): Pass actual for new Insert_Node parameter on
call to Apply_Accessibility_Check.
(Expand_N_Type_Conversion): Pass actual for new Insert_Node parameter
on call to Apply_Accessibility_Check.
Minor reformatting
Modified:
trunk/gcc/ada/checks.adb
trunk/gcc/ada/checks.ads
trunk/gcc/ada/exp_attr.adb
trunk/gcc/ada/exp_ch4.adb