From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 16 Jan 2008 22:14:43 +0000 (+0000)
Subject: sizetype.adb: New test.
X-Git-Tag: releases/gcc-4.3.0~582
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa5c70d892a754eda42ea886a3ba12af0e3fe8d9;p=thirdparty%2Fgcc.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 155e98eb1c73..ed896b49b7ee 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 000000000000..acc2d6560bd9
--- /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;