[Ada] Fix CE in container packages

[Arnaud Charlet <charlet at adacore dot com>]

Test on i686-linux, committed on trunk.

When instantiating the vector container package with a 64-bit type as the
generic actual index type, the algorithm for expanding the internal array
during insertion would fail with Constraint_Error.  The algorithm now uses
64-bit unsigned arithmetic, so that no signed 64-bit overflow occurs.

2006-02-17  Matthew Heaney  <heaney@adacore.com>

	* a-convec.ads, a-convec.adb: 
	(operator "&"): handle potential overflow for large index types
	(Insert): removed Contraint_Error when using large index types
	(Insert_Space): removed Constraint_Error for large index types
	(Length): moved constraint check from Length to Insert

	* a-coinve.ads, a-coinve.adb: Stream attribute procedures are declared
	as not null access.
	Explicit raise statements now include an exception message.
	(operator "&"): handle potential overflow for large index types
	(Insert): removed Contraint_Error when using large index types
	(Insert_Space): removed Constraint_Error for large index types
	(Length): moved constraint check from Length to Insert

Attachment: difs.16
Description: Text document