core dumped when adding to vector

[Jonathan Wakely]

For the record, I replied to Anakreon off-list pointing out a NULL ptr
in the GDB backtrace and the problem was fixed by changing the code.

So it was not a libstdc++ bug.

jon