[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

gcc/ada/ChangeLog

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

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,

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