trans.c (Attribute_to_gnu): Compute as (hb < lb) ? 0 : hb - lb + 1 instead of max...
authorOlivier Hainque <hainque@adacore.com>
Fri, 21 Mar 2008 13:18:35 +0000 (13:18 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Fri, 21 Mar 2008 13:18:35 +0000 (13:18 +0000)
commitf4351641f0c9a8d7d0962da084bb9127ce41bef8
tree7dd9334039fab5a07642c27136c90dcf452b6bc4
parent10c5d1a0a8cf531acc940ca357894e807f1b90d8
trans.c (Attribute_to_gnu): Compute as (hb < lb) ? 0 : hb - lb + 1 instead of max (hb - lb + 1, 0).

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.

From-SVN: r133423
gcc/ada/ChangeLog
gcc/ada/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/empty_vector_length.adb [new file with mode: 0644]