This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/47880] Free in System.Pool_Local raises Storage_Error
- From: "charlet at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 4 Aug 2011 08:33:18 +0000
- Subject: [Bug ada/47880] Free in System.Pool_Local raises Storage_Error
- Auto-submitted: auto-generated
- References: <bug-47880-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47880
--- Comment #1 from Arnaud Charlet <charlet at gcc dot gnu.org> 2011-08-04 08:32:58 UTC ---
Author: charlet
Date: Thu Aug 4 08:32:54 2011
New Revision: 177332
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177332
Log:
2011-08-04 Thomas Quinot <quinot@adacore.com>
PR ada/47880
* s-pooloc.adb (Deallocate): Fix the case of deallocating the only
allocated object.
Modified:
trunk/gcc/ada/s-pooloc.adb