diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 15:26:43 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:26:43 +0200 |
| commit | 7b98672ff9bc9b1096b604e9f900eb1692ea8bd3 (patch) | |
| tree | 0a44d7b12f381cd08013d499d14f7c5746ecf6f6 | |
| parent | 052e0603b1b8a2dbbcee2261642764fcea84fe51 (diff) | |
| download | gcc-7b98672ff9bc9b1096b604e9f900eb1692ea8bd3.zip gcc-7b98672ff9bc9b1096b604e9f900eb1692ea8bd3.tar.gz gcc-7b98672ff9bc9b1096b604e9f900eb1692ea8bd3.tar.bz2 | |
sem_res.adb: Protect calls to Matching_Static_Array_Bounds which might be costly.
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_res.adb: Protect calls to Matching_Static_Array_Bounds which
might be costly.
From-SVN: r177181
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/sem_res.adb | 24 |
2 files changed, 25 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5220337..b60f871 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2011-08-02 Yannick Moy <moy@adacore.com> + + * sem_res.adb: Protect calls to Matching_Static_Array_Bounds which + might be costly. + 2011-08-02 Robert Dewar <dewar@adacore.com> * exp_ch9.adb, exp_sel.adb, restrict.ads, exp_disp.adb, erroutc.ads, diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 84f0327..893faf3 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -6830,7 +6830,11 @@ package body Sem_Res is if Is_Array_Type (T) then Current_Subprogram_Body_Is_Not_In_ALFA; - if Base_Type (T) /= Standard_String + -- Protect call to Matching_Static_Array_Bounds to avoid costly + -- operation if not needed. + + if Restriction_Check_Required (SPARK) + and then Base_Type (T) /= Standard_String and then Base_Type (Etype (L)) = Base_Type (Etype (R)) and then Etype (L) /= Any_Composite -- or else L in error and then Etype (R) /= Any_Composite -- or else R in error @@ -7380,7 +7384,11 @@ package body Sem_Res is Left_Typ : constant Node_Id := Etype (Left_Opnd (N)); Right_Typ : constant Node_Id := Etype (Right_Opnd (N)); begin - if Base_Type (Left_Typ) = Base_Type (Right_Typ) + -- Protect call to Matching_Static_Array_Bounds to avoid costly + -- operation if not needed. + + if Restriction_Check_Required (SPARK) + and then Base_Type (Left_Typ) = Base_Type (Right_Typ) and then Left_Typ /= Any_Composite -- or Left_Opnd in error and then Right_Typ /= Any_Composite -- or Right_Opnd in error and then not Matching_Static_Array_Bounds (Left_Typ, Right_Typ) @@ -8038,7 +8046,11 @@ package body Sem_Res is begin Resolve (Expr, Target_Typ); - if Is_Array_Type (Target_Typ) + -- Protect call to Matching_Static_Array_Bounds to avoid costly + -- operation if not needed. + + if Restriction_Check_Required (SPARK) + and then Is_Array_Type (Target_Typ) and then Is_Array_Type (Etype (Expr)) and then Etype (Expr) /= Any_Composite -- or else Expr in error and then not Matching_Static_Array_Bounds (Target_Typ, Etype (Expr)) @@ -9164,7 +9176,11 @@ package body Sem_Res is -- In SPARK, a type conversion between array types should be restricted -- to types which have matching static bounds. - if Is_Array_Type (Target_Typ) + -- Protect call to Matching_Static_Array_Bounds to avoid costly + -- operation if not needed. + + if Restriction_Check_Required (SPARK) + and then Is_Array_Type (Target_Typ) and then Is_Array_Type (Operand_Typ) and then Operand_Typ /= Any_Composite -- or else Operand in error and then not Matching_Static_Array_Bounds (Target_Typ, Operand_Typ) |