[REVIEW-3-6] fix for fdö#55710, don't insert pointer twice into a ptr_set

[Markus Mohrhard]

Hey,

the attached patch prevents inserting the same pointer into a ptr_set.
The result of inserting it a second time is that on the second pointer
delete is called which in the end invalidates both the data behind the
pointer and also the already existing entry in the ptr_set.

The patch is a 3-6 version of
http://cgit.freedesktop.org/libreoffice/core/commit/?id=34638df69902a2251e8c23833b62c005a754fd5d

Regards,
Markus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-don-t-insert-the-same-pointer-twice-into-a-ptr_set-f.patch
Type: application/octet-stream
Size: 1018 bytes
Desc: not available
URL: <http://lists.freedesktop.org/archives/libreoffice/attachments/20121009/9594c89c/attachment-0001.obj>