Re: [boost] [1.37.0][serialization] Assertion failed at libs/serialization/src/extended_type_info.cpp:92

Subject: Re: [boost] [1.37.0][serialization] Assertion failed at libs/serialization/src/extended_type_info.cpp:92
From: Hartmut Kaiser (hartmut.kaiser_at_[hidden])
Date: 2008-10-21 09:30:26

> Anything I can do about this?
> What does this assertion mean?
> 
> My setup: Linux 64Bit, gcc 4.2.4, serialization is used for polymorphic
> objects loaded from different shared libraries, shared libraries are
> loaded with dlopen(RTLD_GLOBAL|RTLD_LAZY).
> 
> Assertion (extended_type_info.cpp:92) occurs during program termination
> (after main returned), during dlclose().
> 
> If anything else isn't possible, would it be appropriate to change the
> related code (before the release!) from:
> 
>         assert(start != end);
> 
>         // remove entry in map which corresponds to this type
>         do{
>             if(this == *start)
>                 x.erase(start++);
>             else
> 		    ++start;
>         }while(start != end);

After looking at this code again I have the impression that it is broken
anyways. You can't safely increment an iterator after deleting the object it
points to: erase(start++). This code relies on the fact that in order to be
incremented the iterator doesn't need the object it points to (which at
least for lists is a wrong assumption).

Regards Hartmut

> 
> To:
> 
>         assert(start != end);
> 
>         // remove entry in map which corresponds to this type
>         while(start != end) {
>             if(this == *start)
>                 x.erase(start++);
>             else
> 		    ++start;
>         }
> 
> Which wouldn't remove the problem, but at least avoids hanging the
> program if assertions are off...
> 
> Regards Hartmut