utils2.c (gnat_stabilize_reference): Fix thinko.

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

From-SVN: r174690

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6587ffd9a0b526f357d06471562ca0b943ed20f4..ac770864de11359d6a3bc3a9c7630e23a2cb8deb 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/ada/gcc-interface/utils2.c b/gcc/ada/gcc-interface/utils2.c
index db190327122b7af6971e4bba7226a09e5e7d3fa5..2a455d1047eb43b6ab382778bf61cd1b9f93e7ea 100644 (file)
--- a/gcc/ada/gcc-interface/utils2.c
+++ b/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:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 131da5e774334ec30e5add2e791214c1d3e52304..1e904e604855267e138d90666f9aa82aa1fc59d7 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+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.

diff --git a/gcc/testsuite/gnat.dg/specs/cond_expr1.ads b/gcc/testsuite/gnat.dg/specs/cond_expr1.ads
new file mode 100644 (file)
index 0000000..01d76d0
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/cond_expr1.ads
@@ -0,0 +1,9 @@
+-- { 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;