From: Yannick Moy <moy@adacore.com>
Date: Tue, 2 Aug 2011 15:26:43 +0000 (+0000)
Subject: sem_res.adb: Protect calls to Matching_Static_Array_Bounds which might be costly.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b98672ff9bc9b1096b604e9f900eb1692ea8bd3;p=gcc.git

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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5220337f507..b60f8713792 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 84f03278de6..893faf37271 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)