sem_attr.adb (Eval_Attribute, [...]): Catch more cases where this attribute can be...
authorRobert Dewar <dewar@adacore.com>
Mon, 20 Apr 2009 13:28:50 +0000 (15:28 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Apr 2009 13:28:50 +0000 (15:28 +0200)
commitaf02a866e673002ed038f42de832dc179c2be70f
tree4a29e935582d93705c8fce50251b42b4e20017c2
parentfed5ae113c0cfdb7525cbdd8b0c18e26f512e9c6
sem_attr.adb (Eval_Attribute, [...]): Catch more cases where this attribute can be evaluated at compile time.

2009-04-20  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb (Eval_Attribute, case Length): Catch more cases where
this attribute can be evaluated at compile time.
(Eval_Attribute, case Range_Length): Same improvement

* sem_eval.ads, sem_eval.adb (Compile_Time_Compare): New procedure

From-SVN: r146420
gcc/ada/sem_attr.adb
gcc/ada/sem_eval.adb
gcc/ada/sem_eval.ads