r219225 - in /trunk/gcc/ada: ChangeLog a-cfinve...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jan  6 09:02:05 2015
New Revision: 219225

URL: https://gcc.gnu.org/viewcvs?rev=219225&root=gcc&view=rev
Log:
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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cfinve.adb
    trunk/gcc/ada/a-cfinve.ads
    trunk/gcc/ada/a-cofove.adb
    trunk/gcc/ada/a-cofove.ads
    trunk/gcc/ada/sem_ch12.adb