* gnat.dg/controlled7.ad[sb]: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194521
138bc75d-0d04-0410-961f-
82ee72b054a4
+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
--- /dev/null
+-- 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;
--- /dev/null
+with System.Storage_Elements; use System.Storage_Elements;
+
+package Controlled7 is
+
+ procedure Proc (Offset : Storage_Offset);
+
+end Controlled7;