From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat, 15 Dec 2012 18:11:38 +0000 (+0000)
Subject: re PR ada/53766 (ICE in build_binary_op on Max_Size_In_Storage_Elements with -gnatp)
X-Git-Tag: releases/gcc-4.8.0~1364
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4e8661cd7c5ef423c34723483a9ac5cf7b65169c;p=thirdparty%2Fgcc.git

re PR ada/53766 (ICE in build_binary_op on Max_Size_In_Storage_Elements with -gnatp)

	PR ada/53766
	* gnat.dg/controlled7.ad[sb]: New test.

From-SVN: r194521
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e3776f340bc8..fc21c18bae9a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/53766
+	* gnat.dg/controlled7.ad[sb]: New test.
+
 2012-12-14  Steve Ellcey  <sellcey@mips.com>
 
 	PR regression/55688
diff --git a/gcc/testsuite/gnat.dg/controlled7.adb b/gcc/testsuite/gnat.dg/controlled7.adb
new file mode 100644
index 000000000000..bdcf67ac4660
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/controlled7.adb
@@ -0,0 +1,18 @@
+-- PR ada/53766
+-- Reported by Duncan Sands <baldrick@gcc.gnu.org>
+
+-- { dg-do compile }
+-- { dg-options "-gnatp" }
+
+with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
+
+package body Controlled7 is
+
+   procedure Proc (Offset : Storage_Offset) is
+   begin
+      if Offset + Unbounded_String'Max_Size_In_Storage_Elements >= 16 then
+         raise Program_Error;
+      end if;
+   end;
+
+end Controlled7;
diff --git a/gcc/testsuite/gnat.dg/controlled7.ads b/gcc/testsuite/gnat.dg/controlled7.ads
new file mode 100644
index 000000000000..672a8e7a7211
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/controlled7.ads
@@ -0,0 +1,7 @@
+with System.Storage_Elements; use System.Storage_Elements;
+
+package Controlled7 is
+
+  procedure Proc (Offset : Storage_Offset);
+
+end Controlled7;