diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-22 09:14:01 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-22 09:14:01 +0000 |
| commit | 72a8dd48f3676a2dcfa52351e1bae34ff7c52e8e (patch) | |
| tree | 68ee505f7271ae15789c7e40fdda95b33df813b5 /gcc/ada/a-except-2005.adb | |
| parent | f93e7257bb0e43fbe124ae9b95b8619db94d3499 (diff) | |
| download | gcc-72a8dd48f3676a2dcfa52351e1bae34ff7c52e8e.tar.gz | |
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..
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165805 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-except-2005.adb')
| -rw-r--r-- | gcc/ada/a-except-2005.adb | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ada/a-except-2005.adb b/gcc/ada/a-except-2005.adb index 48574e236fe..b53560794b0 100644 --- a/gcc/ada/a-except-2005.adb +++ b/gcc/ada/a-except-2005.adb @@ -469,6 +469,8 @@ package body Ada.Exceptions is (File : System.Address; Line, Column : Integer); procedure Rcheck_05_Ext (File : System.Address; Line, Column, Index, First, Last : Integer); + procedure Rcheck_06_Ext + (File : System.Address; Line, Column, Index, First, Last : Integer); procedure Rcheck_12_Ext (File : System.Address; Line, Column, Index, First, Last : Integer); @@ -509,6 +511,7 @@ package body Ada.Exceptions is pragma Export (C, Rcheck_00_Ext, "__gnat_rcheck_00_ext"); pragma Export (C, Rcheck_05_Ext, "__gnat_rcheck_05_ext"); + pragma Export (C, Rcheck_06_Ext, "__gnat_rcheck_06_ext"); pragma Export (C, Rcheck_12_Ext, "__gnat_rcheck_12_ext"); -- None of these procedures ever returns (they raise an exception!). By @@ -551,6 +554,7 @@ package body Ada.Exceptions is pragma No_Return (Rcheck_00_Ext); pragma No_Return (Rcheck_05_Ext); + pragma No_Return (Rcheck_06_Ext); pragma No_Return (Rcheck_12_Ext); --------------------------------------------- @@ -1236,6 +1240,17 @@ package body Ada.Exceptions is Raise_Constraint_Error_Msg (File, Line, Column, Msg'Address); end Rcheck_05_Ext; + procedure Rcheck_06_Ext + (File : System.Address; Line, Column, Index, First, Last : Integer) + is + Msg : constant String := + Rmsg_06 (Rmsg_06'First .. Rmsg_06'Last - 1) & ASCII.LF & + "value " & Image (Index) & " not in " & Image (First) & + ".." & Image (Last) & ASCII.NUL; + begin + Raise_Constraint_Error_Msg (File, Line, Column, Msg'Address); + end Rcheck_06_Ext; + procedure Rcheck_12_Ext (File : System.Address; Line, Column, Index, First, Last : Integer) is |