1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/controlled7.adb b/gcc-4.9/gcc/testsuite/gnat.dg/controlled7.adb
new file mode 100644
index 000000000..bdcf67ac4
--- /dev/null
+++ b/gcc-4.9/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;