[Ada] Memory corruption when using formal hashed sets or maps
authorClaire Dross <dross@adacore.com>
Thu, 11 Jul 2019 08:02:44 +0000 (08:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jul 2019 08:02:44 +0000 (08:02 +0000)
commit1048a1839fde97a1bd790b002dad8b79e172724f
tree4389d46dc27fe6b85491206c7fc8ab09afbec5b1
parent9d80f439131664ba852db64a6d5ac80a4d4e6f2e
[Ada] Memory corruption when using formal hashed sets or maps

Add a check to avoid causing a buffer overflow when the map is empty

2019-07-11  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
reset the Has_Element flag if no element is freed.

From-SVN: r273397
gcc/ada/ChangeLog
gcc/ada/libgnat/a-cfhama.adb
gcc/ada/libgnat/a-cfhase.adb