Synopsis: <deque> deallocates unowned memory within .pop_back()
State-Changed-From-To: open->analyzed
State-Changed-By: bkoz
State-Changed-When: Tue Jun 12 14:14:26 2001
State-Changed-Why:
Still an issue with gcc as of 2001-06-12
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=1853&database=gcc