sem_util.ads: Minor addition of ??? comment.

2015-05-22  Robert Dewar  <dewar@adacore.com>

	* sem_util.ads: Minor addition of ??? comment.
	* sem_prag.adb, sem_util.adb: Minor reformatting.
	* sem_ch13.adb: minor reformatting.

From-SVN: r223532

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e4320981b14daa28a5f7f4359d05fc0071fb54b9..8f1acdb816d63dcdcaf56453d7423f28f61424ce 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2015-05-22  Robert Dewar  <dewar@adacore.com>
+
+       * sem_util.ads: Minor addition of ??? comment.
+       * sem_prag.adb, sem_util.adb: Minor reformatting.
+       * sem_ch13.adb: minor reformatting.
+
 2015-05-22  Robert Dewar  <dewar@adacore.com>
 
        * a-reatim.ads: Add Compile_Time_Error to ensure Duration

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index e985e93f10d547e7a8187fd572f37c12d85e3d40..edb1c796df18454daa21408ee5eee8477ad339ec 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -3893,6 +3893,9 @@ package body Sem_Ch13 is
                  ("indexing function must have at least two parameters");
                return;
 
+            --  For a derived type, check that no indexing aspect is
+            --  specified for the type if it is also inherited
+
             elsif Is_Derived_Type (Ent) then
                declare
                   Inherited : Node_Id;
@@ -3901,13 +3904,12 @@ package body Sem_Ch13 is
                   if Attr = Name_Constant_Indexing then
                      Inherited :=
                        Find_Aspect (Etype (Ent), Aspect_Constant_Indexing);
+
                   elsif Attr = Name_Variable_Indexing then
                      Inherited :=
                         Find_Aspect (Etype (Ent), Aspect_Variable_Indexing);
                   end if;
 
-                  --  What if neither branch taken above ???
-
                   if Present (Inherited) then
                      if Debug_Flag_Dot_XX then
                         null;

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index bdd2eec2466707f7942d329c4c13019f24d56039..5ab6f50211399e95f742323a7fd5f3ee283ced67 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2710,7 +2710,7 @@ package body Sem_Prag is
          Legal   : out Boolean);
       --  Subsidiary to the analysis of pragmas Abstract_State and Part_Of.
       --  Perform full analysis of indicator Part_Of. Item_Id is the entity of
-      --  an abstract state, object or package instantiation. State is the
+      --  an abstract state, object, or package instantiation. State is the
       --  encapsulating state. Indic is the Part_Of indicator. Flag Legal is
       --  set when the indicator is legal.
 

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 196310f365130cdf2500664d31c304e5e6d5f6aa..3b91465229c28873a19f8cfbc2005487812d6384 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -9323,7 +9323,6 @@ package body Sem_Util is
 
    function Has_Variable_Input (Const_Id : Entity_Id) return Boolean is
       Expr : constant Node_Id := Expression (Declaration_Node (Const_Id));
-
    begin
       return
         Present (Expr) and then not Compile_Time_Known_Value_Or_Aggr (Expr);

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 4255e9624ac786fe3474fe8c0e721687291d61a2..17dced9cefbbc7f98a0c129b357d8ac8e39de274 100644 (file)
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1050,6 +1050,9 @@ package Sem_Util is
    --  Determine whether the initialization expression of constant Const_Id has
    --  "variable input" (SPARK RM 7.1.1(2)). This roughly maps to the semantic
    --  concept of a compile-time known value.
+   --  How can a defined concept in SPARK mapped to an undefined predicate in
+   --  the compiler (which can change at any moment if the compiler feels like
+   --  getting more clever about what is compile-time known) ???
 
    function Has_Volatile_Component (Typ : Entity_Id) return Boolean;
    --  Given an arbitrary type, determine whether it contains at least one