From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 16 Jan 2008 22:14:43 +0000 (+0000)
Subject: sizetype.adb: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa5c70d892a754eda42ea886a3ba12af0e3fe8d9;p=gcc.git

sizetype.adb: New test.

	* gnat.dg/sizetype.adb: New test.

From-SVN: r131580
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 155e98eb1c7..ed896b49b7e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-01-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/sizetype.adb: New test.
+
 2008-01-16  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/32628
diff --git a/gcc/testsuite/gnat.dg/sizetype.adb b/gcc/testsuite/gnat.dg/sizetype.adb
new file mode 100644
index 00000000000..acc2d6560bd
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/sizetype.adb
@@ -0,0 +1,14 @@
+-- { dg-do run }
+
+with Interfaces.C; use Interfaces.C;
+
+procedure Sizetype is
+
+   TC_String : String(1..8) := "abcdefgh";
+   TC_No_nul : constant char_array := To_C(TC_String, False);
+ 
+begin
+   if TC_No_nul(0) /= To_C('a') then
+      raise Program_Error;
+   end if;
+end;