projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7efc3f2) | patch
re PR ada/47880 (Free in System.Pool_Local raises Storage_Error)
authorThomas Quinot <quinot@adacore.com>
Thu, 4 Aug 2011 08:32:54 +0000 (10:32 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 4 Aug 2011 08:32:54 +0000 (10:32 +0200)
commita25f5ee669dd1e1b1e4e53b501b0ff416601c52c
treed2fd4933a5b73c49efa9dedef13cbafd8ba8e63btree
parent7efc3f2d9ed7370243b867ab34038a239e6ead3dcommit | diff
re PR ada/47880 (Free in System.Pool_Local raises Storage_Error)

2011-08-04  Thomas Quinot  <quinot@adacore.com>

PR ada/47880
* s-pooloc.adb (Deallocate): Fix the case of deallocating the only
allocated object.

From-SVN: r177332
gcc/ada/s-pooloc.adb diff | blob | history