diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:02:05 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:02:05 +0100 |
| commit | 4528ead53ae6e76cd663aa9aa3e710ca833a2fa3 (patch) | |
| tree | 86a00e154cab2ccb628beeff36147e71d4af90b9 /gcc/ada/adaint.c | |
| parent | 17d01d213579c0ee53913f82f4f9e40109f069ca (diff) | |
| download | gcc-4528ead53ae6e76cd663aa9aa3e710ca833a2fa3.zip gcc-4528ead53ae6e76cd663aa9aa3e710ca833a2fa3.tar.gz gcc-4528ead53ae6e76cd663aa9aa3e710ca833a2fa3.tar.bz2 | |
[multiple changes]
2015-01-06 Bob Duff <duff@adacore.com>
* a-cfinve.adb (Copy): Set the discriminant to the Length when
Capacity = 0.
* a-cofove.ads (Capacity): Add a postcondition.
* a-cfinve.ads (Capacity): Add a postcondition.
(Reserve_Capacity): Correct the postcondition in the case where
Capacity = 0; that means "Capacity => Length (Container)".
* a-cofove.adb (Elems[c]): Add a comment
explaining the dangers and how to avoid them.
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Code clean up.
From-SVN: r219225
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions