[multiple changes]

2011-08-02  Yannick Moy  <moy@adacore.com>

	* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
	a-cforse.ads: Update comments.

2011-08-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb: add attribute name when 'Result has the wrong prefix.

From-SVN: r177113

7 files changed, 45 insertions, 5 deletions

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 09245bf..35103c9 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2011-08-02  Yannick Moy  <moy@adacore.com>
+
+	* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
+	a-cforse.ads: Update comments.
+
+2011-08-02  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_attr.adb: add attribute name when 'Result has the wrong prefix.
+
 2011-08-02  Robert Dewar  <dewar@adacore.com>
 
 	* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
diff --git a/gcc/ada/a-cfdlli.ads b/gcc/ada/a-cfdlli.ads
index 96945ab..3be6ea6 100644
--- a/gcc/ada/a-cfdlli.ads
+++ b/gcc/ada/a-cfdlli.ads
@@ -43,11 +43,16 @@
 --    which is not possible if cursors encapsulate an access to the underlying
 --    container.
 
---    There are two new functions:
+--    There are three new functions:
 
+--      function Strict_Equal (Left, Right : List) return Boolean;
 --      function Left  (Container : List; Position : Cursor) return List;
 --      function Right (Container : List; Position : Cursor) return List;
 
+--      Strict_Equal returns True if the containers are physically equal,
+--      meaning that they are structurally equal (function "=" returns True)
+--      and that they have the same set of cursors.
+
 --      Left returns a container containing all elements preceding Position
 --      (excluded) in Container. Right returns a container containing all
 --      elements following Position (included) in Container. These two new
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads
index 96f6470..56a0a62 100644
--- a/gcc/ada/a-cfhama.ads
+++ b/gcc/ada/a-cfhama.ads
@@ -42,11 +42,18 @@
 --    and its previous version C'Old) for expressing properties, which is not
 --    possible if cursors encapsulate an access to the underlying container.
 
---    There are two new functions:
+--    There are four new functions:
 
+--      function Strict_Equal (Left, Right : Map) return Boolean;
+--      function Overlap (Left, Right : Map) return Boolean;
 --      function Left  (Container : Map; Position : Cursor) return Map;
 --      function Right (Container : Map; Position : Cursor) return Map;
 
+--      Strict_Equal returns True if the containers are physically equal,
+--      meaning that they are structurally equal (function "=" returns True)
+--      and that they have the same set of cursors. Overlap returns True if
+--      the containers have common keys.
+
 --      Left returns a container containing all elements preceding Position
 --      (excluded) in Container. Right returns a container containing all
 --      elements following Position (included) in Container. These two new
diff --git a/gcc/ada/a-cfhase.ads b/gcc/ada/a-cfhase.ads
index a3e4179..b9da734e 100644
--- a/gcc/ada/a-cfhase.ads
+++ b/gcc/ada/a-cfhase.ads
@@ -43,11 +43,16 @@
 --    which is not possible if cursors encapsulate an access to the underlying
 --    container.
 
---    There are two new functions:
+--    There are three new functions:
 
+--      function Strict_Equal (Left, Right : Set) return Boolean;
 --      function Left  (Container : Set; Position : Cursor) return Set;
 --      function Right (Container : Set; Position : Cursor) return Set;
 
+--      Strict_Equal returns True if the containers are physically equal,
+--      meaning that they are structurally equal (function "=" returns True)
+--      and that they have the same set of cursors.
+
 --      Left returns a container containing all elements preceding Position
 --      (excluded) in Container. Right returns a container containing all
 --      elements following Position (included) in Container. These two new
diff --git a/gcc/ada/a-cforma.ads b/gcc/ada/a-cforma.ads
index 2ddefeb..261a29e 100644
--- a/gcc/ada/a-cforma.ads
+++ b/gcc/ada/a-cforma.ads
@@ -44,11 +44,18 @@
 --    container. The operators "<" and ">" that could not be modified that way
 --    have been removed.
 
---    There are two new functions:
+--    There are four new functions:
 
+--      function Strict_Equal (Left, Right : Map) return Boolean;
+--      function Overlap (Left, Right : Map) return Boolean;
 --      function Left  (Container : Map; Position : Cursor) return Map;
 --      function Right (Container : Map; Position : Cursor) return Map;
 
+--      Strict_Equal returns True if the containers are physically equal,
+--      meaning that they are structurally equal (function "=" returns True)
+--      and that they have the same set of cursors. Overlap returns True if
+--      the containers have common keys.
+
 --      Left returns a container containing all elements preceding Position
 --      (excluded) in Container. Right returns a container containing all
 --      elements following Position (included) in Container. These two new
diff --git a/gcc/ada/a-cforse.ads b/gcc/ada/a-cforse.ads
index 89caaba..c15f9c6 100644
--- a/gcc/ada/a-cforse.ads
+++ b/gcc/ada/a-cforse.ads
@@ -44,11 +44,16 @@
 --    container. The operators "<" and ">" that could not be modified that way
 --    have been removed.
 
---    There are two new functions:
+--    There are three new functions:
 
+--      function Strict_Equal (Left, Right : Set) return Boolean;
 --      function Left  (Container : Set; Position : Cursor) return Set;
 --      function Right (Container : Set; Position : Cursor) return Set;
 
+--      Strict_Equal returns True if the containers are physically equal,
+--      meaning that they are structurally equal (function "=" returns True)
+--      and that they have the same set of cursors.
+
 --      Left returns a container containing all elements preceding Position
 --      (excluded) in Container. Right returns a container containing all
 --      elements following Position (included) in Container. These two new
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index c841288..9e9cd19 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -4009,6 +4009,8 @@ package body Sem_Attr is
             --  Check OK prefix
 
             if Chars (CS) /= Chars (P) then
+               Error_Msg_Name_1 := Name_Result;
+
                Error_Msg_NE
                  ("incorrect prefix for % attribute, expected &", P, CS);
                Error_Attr;