Everytime compl_vector::operator[] needs an index that does not exist,
it does a push_back which can/will reallocate the whole vector when a
bigger memory block is necessary. I had the same mysterious bugs with
tex2lyx a few months ago.
This means that if you hold a DocIterator& of an element of the
compl_vector, it will eventually point into nowhere. I have found where
it happens yet, but it has to come from that.
(I am recompiling without stdlib-debug to see whether it makes things
clearer, but I doubt it.)
Is it fixed at r33137 ?
Vincent
