utils2.c (gnat_stabilize_reference): Fix thinko.

	* gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
	Fix thinko.

From-SVN: r174690

gcc/ada/ChangeLog

 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 
+	* gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
+	Fix thinko.
+
+2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
 	* gcc-interface/trans.c (Identifier_to_gnu): Also handle deferred
 	constants whose full view has discriminants specially.
 

gcc/ada/gcc-interface/utils2.c

@@ -2518,8 +2518,8 @@ gnat_stabilize_reference (tree ref, bool force, bool *success)
       result = build2 (COMPOUND_EXPR, type,
 		       gnat_stabilize_reference (TREE_OPERAND (ref, 0), force,
 						 success),
-		       gnat_stabilize_reference_1 (TREE_OPERAND (ref, 1),
-						   force));
+		       gnat_stabilize_reference (TREE_OPERAND (ref, 1), force,
+						 success));
       break;
 
     case CONSTRUCTOR:

gcc/testsuite/ChangeLog

 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 
+	* gnat.dg/specs/cond_expr1.ads: New test.
+
+2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
 	* gnat.dg/deferred_const4.ad[sb]: New test.
 	* gnat.dg/deferred_const4_pkg.ads: New helper.
 

gcc/testsuite/gnat.dg/specs/cond_expr1.ads

+-- { dg-do compile }
+-- { dg-options "-gnat12 -gnato" }
+
+package Cond_Expr1 is
+
+   function Tail (S : String) return String is
+     (if S'Last <= S'First then "" else S (S'First + 1 .. S'Last));
+
+end Cond_Expr1;