sizetype.adb: New test.

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

From-SVN: r131580

gcc/testsuite/ChangeLog

+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

gcc/testsuite/gnat.dg/sizetype.adb

+-- { 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;