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 <qui...@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