2008-03-21 Olivier Hainque <hainque@adacore.com>
commit46c2380f704d18686edb324ca99b8464c7463210
authorhainque <hainque@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 21 Mar 2008 13:18:35 +0000 (21 13:18 +0000)
committerhainque <hainque@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 21 Mar 2008 13:18:35 +0000 (21 13:18 +0000)
tree7dd9334039fab5a07642c27136c90dcf452b6bc4
parente53aac54c5f6b62c0bb61616f097645dd0c19021
2008-03-21  Olivier Hainque  <hainque@adacore.com>

ada/
* trans.c (Attribute_to_gnu) <'length>: Compute as (hb < lb)
? 0 : hb - lb + 1 instead of max (hb - lb + 1, 0).

testsuite/
* gnat.dg/empty_vector_length.adb: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133423 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/empty_vector_length.adb [new file with mode: 0644]