diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 11:14:01 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 11:14:01 +0200 |
| commit | ea0342360d98139d57ce7550ef03da55616a0a00 (patch) | |
| tree | 68ee505f7271ae15789c7e40fdda95b33df813b5 /gcc/ada/gcc-interface/trans.c | |
| parent | 2d4e055322196532ea62b73ae61fd61defde54ca (diff) | |
| download | gcc-ea0342360d98139d57ce7550ef03da55616a0a00.zip gcc-ea0342360d98139d57ce7550ef03da55616a0a00.tar.gz gcc-ea0342360d98139d57ce7550ef03da55616a0a00.tar.bz2 | |
[multiple changes]
2010-10-22 Thomas Quinot <quinot@adacore.com>
* einfo.ads (Declaration_Node): Clarify documentation, in particular
regarding what is returned for subprogram entities.
2010-10-22 Arnaud Charlet <charlet@adacore.com>
* exp_attr.adb (Make_Range_Test): Generate a Range node instead of
explicit comparisons, generates simpler expanded code.
* a-except-2005.adb (Rcheck_06_Ext): New.
* gcc-interface/trans.c (gigi, gnat_to_gnu): Handle validity checks
like range checks.
* gcc-interface/Make-lang.in: Update dependencies.
2010-10-22 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Array_Type_Declaration): Error for subtype wi predicate
for index type
(Constrain_Index): Error of subtype wi predicate in index constraint
* sem_ch9.adb (Analyze_Entry_Declaration): Error of subtype wi
predicate in entry family.
* sem_res.adb (Resolve_Slice): Error of type wi predicate in slice.
2010-10-22 Javier Miranda <miranda@adacore.com>
* sem_util.ads, sem_util.adb (Collect_Parents): New subprogram.
(Original_Corresponding_Operation): New subprogram.
(Visible_Ancestors): New subprogram.
* sem_ch6.adb (New_Overloaded_Entity): Handle new case of dispatching
operation that overrides a hidden inherited primitive.
* sem_disp.adb (Find_Hidden_Overridden_Primitive): New subprogram.
(Check_Dispatching_Operation): if the new dispatching operation
does not override a visible primtive then check if it overrides
some hidden inherited primitive.
2010-10-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): If the parent_unit_name in a with
clause is a child unit that denotes a renaming, replace the
parent_unit_name with a reference to the renamed unit, because the
prefix is irrelevant to subsequent visibility..
From-SVN: r165805
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 90be61c..f159836 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -482,8 +482,9 @@ gigi (Node_Id gnat_root, int max_gnat_node, int number_name ATTRIBUTE_UNUSED, gnat_raise_decls_ext[i] = build_raise_check (i, t, i == CE_Index_Check_Failed - || i == CE_Range_Check_Failed ? - exception_range : exception_column); + || i == CE_Range_Check_Failed + || i == CE_Invalid_Data + ? exception_range : exception_column); } /* Set the types that GCC and Gigi use from the front end. */ @@ -5518,7 +5519,8 @@ gnat_to_gnu (Node_Id gnat_node) gnu_result = build_call_raise_column (reason, gnat_node); } else if ((reason == CE_Index_Check_Failed - || reason == CE_Range_Check_Failed) + || reason == CE_Range_Check_Failed + || reason == CE_Invalid_Data) && Nkind (cond) == N_Op_Not && Nkind (Right_Opnd (cond)) == N_In && Nkind (Right_Opnd (Right_Opnd (cond))) == N_Range) |