diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2008-01-16 22:14:43 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-01-16 22:14:43 +0000 |
| commit | fa5c70d892a754eda42ea886a3ba12af0e3fe8d9 (patch) | |
| tree | 04112f6393ba46d7432cce1fc07acb0425f79376 | |
| parent | bdb55eae5e08c10636c8882140b06eeee7921209 (diff) | |
| download | gcc-fa5c70d892a754eda42ea886a3ba12af0e3fe8d9.zip gcc-fa5c70d892a754eda42ea886a3ba12af0e3fe8d9.tar.gz gcc-fa5c70d892a754eda42ea886a3ba12af0e3fe8d9.tar.bz2 | |
sizetype.adb: New test.
* gnat.dg/sizetype.adb: New test.
From-SVN: r131580
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/sizetype.adb | 14 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 155e98e..ed896b4 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 0000000..acc2d65 --- /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; |