segfault with std::allocator

[Eljay Love-Jensen]

Hi Toon,

You're not calling delete, your calling int_alloc.deallocate(p, 0);

And the deallocate routine (in ISO 14882, table 32 in 20.1.5) specifically 
says "p must not be null".

--Eljay