2009-05-04 Basile Starynkevitch <basile@starynkevitch.net>

	MELT branch merged with trunk r147090



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@147091 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 31 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/opt2.adb b/gcc/testsuite/gnat.dg/opt2.adb
new file mode 100644
index 00000000000..a6c247fdb9b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/opt2.adb
@@ -0,0 +1,31 @@
+-- { dg-do run }
+-- { dg-options "-O2 -fno-inline" }
+
+procedure Opt2 is
+   function Get return String is
+   begin
+      return "[]";
+   end Get;
+
+   Message : String := Get;
+
+   F, L : Integer;
+begin
+   for J in Message'Range loop
+      if Message (J) = '[' then
+         F := J;
+      elsif Message (J) = ']' then
+         L := J;
+         exit;
+      end if;
+   end loop;
+
+   declare
+      M : String :=
+         Message (Message'First .. F) & Message (L .. Message'Last);
+   begin
+      if M /= "[]" then
+        raise Program_Error;
+      end if;
+   end;
+end;