From fa5c70d892a754eda42ea886a3ba12af0e3fe8d9 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 16 Jan 2008 22:14:43 +0000 Subject: [PATCH] sizetype.adb: New test. * gnat.dg/sizetype.adb: New test. From-SVN: r131580 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/sizetype.adb | 14 ++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/sizetype.adb 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 + + * gnat.dg/sizetype.adb: New test. + 2008-01-16 Richard Guenther 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; -- 2.30.2