summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
diff options
context:
space:
mode:
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2011-06-06 10:32:11 +0000
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2011-06-06 10:32:11 +0000
commitfb637fa6abf8f4b42f77e6307fd4496b4ec76c88 (patch)
tree29d531f11d570bb390201a3233ee61d76d77c27e /gcc/testsuite/gnat.dg
parentf799113908db538032f32718fce54d3a3f70a0ad (diff)
downloadgcc-fb637fa6abf8f4b42f77e6307fd4496b4ec76c88.tar.gz
* gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
Fix thinko. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@174690 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gnat.dg')
-rw-r--r--gcc/testsuite/gnat.dg/specs/cond_expr1.ads9
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/cond_expr1.ads b/gcc/testsuite/gnat.dg/specs/cond_expr1.ads
new file mode 100644
index 00000000000..01d76d028e8
--- /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;