[Ada] Fix RM rule references

2018-07-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_util.ads (Denotes_Same_Object): Likewise.
	* sem_warn.adb (Warn_On_Overlapping_Actuals): Fix RM rule references.

From-SVN: r262798

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 662c099e167e93a145620477705b5bbff7a6e6ae..7fe98a6d73df59eca542f00029f0816d2b764240 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-07-17  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.ads (Denotes_Same_Object): Likewise.
+       * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix RM rule references.
+
 2018-07-17  Eric Botcazou  <ebotcazou@adacore.com>
 
        * exp_disp.adb (Make_Tags): When the type has user-defined primitives,

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 21a74ae0fcfd4881bd6a9d4f496592ca292903f8..aec3644ed5b7eda32f99550c1668649350d85dc2 100644 (file)
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -585,7 +585,7 @@ package Sem_Util is
 
    function Denotes_Same_Object (A1, A2 : Node_Id) return Boolean;
    --  Detect suspicious overlapping between actuals in a call, when both are
-   --  writable (RM 2012 6.4.1(6.4/3))
+   --  writable (RM 2012 6.4.1(6.4/3)).
 
    function Denotes_Same_Prefix (A1, A2 : Node_Id) return Boolean;
    --  Functions to detect suspicious overlapping between actuals in a call,

diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb
index 7c3254ea92b19f48f5c8e086905c6b4b482b975e..ee0ec6d88d80a47076c6c4119efa4d273ac9b8f4 100644 (file)
--- a/gcc/ada/sem_warn.adb
+++ b/gcc/ada/sem_warn.adb
@@ -3630,9 +3630,8 @@ package body Sem_Warn is
       Form1     : Entity_Id;
       Form2     : Entity_Id;
       Warn_Only : Boolean;
-      --  GNAT warns on overlapping in-out parameters even when there are no
-      --  two in-out parameters of an elementary type, as stated in
-      --  RM 6.5.1 (17/2).
+      --  GNAT warns on overlapping in-out parameters of any type, not just for
+      --  elementary in-out parameters (as specified in RM 6.4.1 (15/3-17/3)).
 
    --  Start of processing for Warn_On_Overlapping_Actuals