diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:57:28 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:57:28 +0100 |
| commit | 6e32b1abbaaf5af6b96c055b432b7f6fea6dd814 (patch) | |
| tree | 93a340ae4dde445c445d73846e18ac5579125192 /gcc/ada/checks.adb | |
| parent | f9966234d510c33008281d0793d595f367f599b3 (diff) | |
| download | gcc-6e32b1abbaaf5af6b96c055b432b7f6fea6dd814.zip gcc-6e32b1abbaaf5af6b96c055b432b7f6fea6dd814.tar.gz gcc-6e32b1abbaaf5af6b96c055b432b7f6fea6dd814.tar.bz2 | |
[multiple changes]
2014-02-25 Yannick Moy <moy@adacore.com>
* sem_prag.adb: Minor reformatting to get consistent messages.
2014-02-25 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting.
* sinfo.ads (Do_Range_Check): Document that this flag is never
passed to the back end.
From-SVN: r208129
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 8feebb9..ad4b5b7 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -3064,14 +3064,15 @@ package body Checks is Loc : constant Source_Ptr := Sloc (Ck_Node); Checks_On : constant Boolean := not Index_Checks_Suppressed (Target_Typ) - or else not Range_Checks_Suppressed (Target_Typ); + or else + not Range_Checks_Suppressed (Target_Typ); Cond : Node_Id; R_Cno : Node_Id; R_Result : Check_Result; begin - if not Expander_Active or else not Checks_On then + if not Expander_Active or not Checks_On then return; end if; @@ -3117,7 +3118,8 @@ package body Checks is if Nkind (Ck_Node) = N_Range then Apply_Compile_Time_Constraint_Error - (Low_Bound (Ck_Node), "static range out of bounds of}??", + (Low_Bound (Ck_Node), + "static range out of bounds of}??", CE_Range_Check_Failed, Ent => Target_Typ, Typ => Target_Typ); @@ -3126,7 +3128,8 @@ package body Checks is else Apply_Compile_Time_Constraint_Error - (Ck_Node, "static value out of range of}?", + (Ck_Node, + "static value out of range of}?", CE_Range_Check_Failed, Ent => Target_Typ, Typ => Target_Typ); |