projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9490fd5) | patch
[Ada] Add Depends contracts to Delete procedures of formal containers
authorClaire Dross <dross@adacore.com>
Mon, 10 Feb 2020 11:30:40 +0000 (12:30 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:52 +0000 (03:50 -0400)
commit54c1fdb62b647c1dedf6d58d260ed85e93e0af20
treee360663b89cc6b6eb362222bbd91e55aac662d46tree
parent9490fd58a82b80a7048d5e1a82f749da438b4306commit | diff
[Ada] Add Depends contracts to Delete procedures of formal containers

2020-06-08  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
libgnat/a-cfhase.ads, libgnat/a-cforma.ads, libgnat/a-cforse.ads
(Delete): Add Depends contract.
gcc/ada/libgnat/a-cfdlli.ads diff | blob | history
gcc/ada/libgnat/a-cfhama.ads diff | blob | history
gcc/ada/libgnat/a-cfhase.ads diff | blob | history
gcc/ada/libgnat/a-cforma.ads diff | blob | history
gcc/ada/libgnat/a-cforse.ads diff | blob | history