diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:45:30 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:45:30 +0000 |
| commit | 05f3e139921b55a4ce3ec9a168ee87b5713e12e9 (patch) | |
| tree | befa9ae07ae41881d967d26ca6b36a0e2eddfcd4 /gcc/ada/atree.adb | |
| parent | fd62437ba24ad78e46e5e900126e5d9ed930a881 (diff) | |
| download | gcc-05f3e139921b55a4ce3ec9a168ee87b5713e12e9.tar.gz | |
2011-08-01 Vincent Celier <celier@adacore.com>
* s-parame-vms-ia64.ads: Fix typo in comment
Minor reformatting
* s-parame-vms-restrict.ads: Removed, unused.
2011-08-01 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb
(Is_Variable_Size_Array): Remove local subprogram Is_Constant_Bound.
* sem_ch3.adb
(Constrain_Index): Remove side effects in the evaluation of the bounds.
* sem_ch3.ads, sem_ch3.adb
(Is_Constant_Bound): New extended version of the subprogram that was
previously located inside function Exp_Ch3.Is_Variable_Size_Array.
Moved here since it is shared by routines of sem_ch3 and exp_ch3.
* sem_aux.ads (Constant_Value): Fix typo in comment.
* checks.adb (Generate_Index_Checks): New implementation which, for
array objects with constant bounds, generates the runtime check
referencing the bounds of the array type. For other cases this routine
provides its previous behavior obtaining such values from the array
object.
* sem_res.adb (Set_Slice_Subtype): Link a copied range subtree with its
parent type.
* atree.adb (New_Copy): Reset flag Is_Overloaded in the new copy since
we cannot have semantic interpretations of the new node.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177051 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/atree.adb')
| -rw-r--r-- | gcc/ada/atree.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index 5426fab7d02..7852d1de1d5 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -1202,6 +1202,13 @@ package body Atree is Nodes.Table (New_Id).Rewrite_Ins := False; pragma Debug (New_Node_Debugging_Output (New_Id)); + -- Clear Is_Overloaded since we cannot have semantic interpretations + -- of this new node + + if Nkind (Source) in N_Subexpr then + Set_Is_Overloaded (New_Id, False); + end if; + -- Always clear Has_Aspects, the caller must take care of copying -- aspects if this is required for the particular situation. |