diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-02 08:19:14 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-02 08:19:14 +0000 |
| commit | fb0ac55984bfa884b01e2b013fd9ef6a9f66292e (patch) | |
| tree | f5aad546b751a3741904e051f9156b42eb05c3c5 /gcc/ada/exp_ch7.adb | |
| parent | cac18f71cfb0f25716bd3617b56d92615cb2ec39 (diff) | |
| download | gcc-fb0ac55984bfa884b01e2b013fd9ef6a9f66292e.tar.gz | |
2012-10-02 Vincent Pucci <pucci@adacore.com>
* sem_attr.adb (Analyze_Attribute): Check dimension for attribute
Old before it gets expanded.
* sem_dim.adb (Analyze_Dimension_Has_Etype): Correctly propagate
dimensions for identifier.
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb (Expand_Iterator_Loop): Handle properly the case
where the iterator type is derived locally from an instantiation
of Ada.Iterators_Interface.
* exp_ch7.adb (Establish_Transient_Scope): Do not create a
transient scope if within the expansion of an iterator loop,
because a transient block already exists.
2012-10-02 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: Use absolute path for configuration pragmas files
* make.adb (Configuration_Pragmas_Switch.Absolute_Path): Moved
to Makeutl.
* makeutl.ads, makeutl.adb (Absolute_Path): New function, moved from
make.adb.
2012-10-02 Vincent Celier <celier@adacore.com>
* prj-part.adb (Post_Parse_Context_Clause): Resurrect Boolean
parameter In_Limited. Check for circularity also if In_Limited
is True.
(Parse_Single_Project): Call Post_Parse_Context_Clause with
In_Limited parameter.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191961 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch7.adb')
| -rw-r--r-- | gcc/ada/exp_ch7.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index 9c6955a7b9e..2a2b7dde4bb 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -3639,9 +3639,13 @@ package body Exp_Ch7 is -- If the node to wrap is an iteration_scheme, the expression is -- one of the bounds, and the expansion will make an explicit -- declaration for it (see Analyze_Iteration_Scheme, sem_ch5.adb), - -- so do not apply any transformations here. + -- so do not apply any transformations here. Same for an Ada 2012 + -- iterator specification, where a block is created for the expression + -- that build the container. - elsif Nkind (Wrap_Node) = N_Iteration_Scheme then + elsif Nkind (Wrap_Node) = N_Iteration_Scheme + or else Nkind (Wrap_Node) = N_Iterator_Specification + then null; -- In formal verification mode, if the node to wrap is a pragma check, |