[Ada] Raise Capacity_Error on formal vector insertion
authorClaire Dross <dross@adacore.com>
Tue, 21 Jul 2020 15:37:23 +0000 (17:37 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:43 +0000 (03:22 -0400)
commit73764bae1d416524fc06e0f01f81c7274ec0937b
tree2c2b4b1603887bf2adc5e1e115e2f14b0204d1c6
parent19e9cf7a1782100c1f8740c9ead67cc5d372b1c9
[Ada] Raise Capacity_Error on formal vector insertion

gcc/ada/

* libgnat/a-cofove.adb (Copy): Add explanation in case of
Capacity_Error.
(Insert_Space): Raise Capacity_Error if the new length is
greater than the capacity.
(Reserve_Capacity): Raise Capacity_Error instead of
Constraint_Error.
gcc/ada/libgnat/a-cofove.adb