From: Ed Schonberg <schonberg@adacore.com>
Date: Mon, 15 Oct 2007 13:57:17 +0000 (+0200)
Subject: sem_disp.adb (Find_Controlling_Arg): Examine the call node before examining its origi... 
X-Git-Tag: releases/gcc-4.3.0~2028
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ca14fd026e1d6cce51a7679fae85fdfb18e7aa16;p=thirdparty%2Fgcc.git

sem_disp.adb (Find_Controlling_Arg): Examine the call node before examining its original form...

2007-10-15  Ed Schonberg  <schonberg@adacore.com>

	* sem_disp.adb (Find_Controlling_Arg): Examine the call node before
	examining its original form, to handle properly operator calls that
	have been rewritten.

From-SVN: r129337
---

diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb
index 5924039e6f9a..37eb9ed4196d 100644
--- a/gcc/ada/sem_disp.adb
+++ b/gcc/ada/sem_disp.adb
@@ -1132,9 +1132,21 @@ package body Sem_Disp is
          return Find_Controlling_Arg (Expression (Orig_Node));
       end if;
 
-      --  Dispatching on result case
+      --  Dispatching on result case. If expansion is disabled, the node still
+      --  has the structure of a function call. However, if the function name
+      --  is an operator and the call was given in infix form, the original
+      --  node has no controlling result and we must examine the current node.
+
+      if Nkind (N) = N_Function_Call
+        and then Present (Controlling_Argument (N))
+        and then Has_Controlling_Result (Entity (Name (N)))
+      then
+         return Controlling_Argument (N);
 
-      if Nkind (Orig_Node) = N_Function_Call
+      --  If expansion is enabled, the call may have been transformed into
+      --  an indirect call, and we need to recover the original node.
+
+      elsif Nkind (Orig_Node) = N_Function_Call
         and then Present (Controlling_Argument (Orig_Node))
         and then Has_Controlling_Result (Entity (Name (Orig_Node)))
       then