strange segfault...

[Sheplyakov Alexey]

Consider a very simple program:

// beginning of file crush_it.cxx

#include <iostream>
#include <vector>
using namespace std;

#include <ginac/ginac.h>

using namespace GiNaC;

int main(int argc,char* argv[])
{
	vector<symbol> sv(3);
	sv[0] = symbol("x");
	sv[1] = symbol("y");
	sv[2] = symbol("z");

	cout << "All is OK " << "\n";
	cout << sv[0] << " ";
	cout << sv[1] << " ";
	cout << "All is OK again" << "\n";
	
	return 0; // segfault here!
	
}
// end of file crush_it.cxx


And here is gdb session:


Breakpoint 3, main (argc=1, argv=0xbffffb24) at crush_it.cxx:21
21              return 0;
(gdb) bt
#0  main (argc=1, argv=0xbffffb24) at crush_it.cxx:21
(gdb) next

Program received signal SIGSEGV, Segmentation fault.
0x403d27fe in free () from /lib/libc.so.6
(gdb) bt
#0  0x403d27fe in free () from /lib/libc.so.6
#1  0x403d26d3 in free () from /lib/libc.so.6
#2  0x4032d6b4 in __builtin_delete () from /usr/lib/libstdc++-libc6.2-2.so.3
#3  0x401e6c8d in GiNaC::symbol::destroy () from /usr/lib/libginac-1.0.so.0
#4  0x401ea110 in GiNaC::symbol::~symbol () from /usr/lib/libginac-1.0.so.0
#5  0x0804c0d7 in void destroy<GiNaC::symbol> (__pointer=0x805259c)
    at /usr/lib/gcc-lib/i386-linux/2.95.4/../../../../include/g++-3/stl_construct.h:43
#6  0x0804bfa1 in void __destroy_aux<GiNaC::symbol *> (__first=0x8052578, __last=0x80525e4)
    at /usr/lib/gcc-lib/i386-linux/2.95.4/../../../../include/g++-3/stl_construct.h:61
#7  0x0804bbfc in void __destroy<GiNaC::symbol *, GiNaC::symbol> (__first=0x8052578, __last=0x80525e4)
    at /usr/lib/gcc-lib/i386-linux/2.95.4/../../../../include/g++-3/stl_construct.h:73
#8  0x0804b85c in void destroy<GiNaC::symbol *> (__first=0x8052578, __last=0x80525e4)
    at /usr/lib/gcc-lib/i386-linux/2.95.4/../../../../include/g++-3/stl_construct.h:78
#9  0x0804b881 in vector<GiNaC::symbol, allocator<GiNaC::symbol> >::~vector (this=0xbffffab0, __in_chrg=2)
    at /usr/lib/gcc-lib/i386-linux/2.95.4/../../../../include/g++-3/stl_vector.h:266
#10 0x0804a4dd in main (argc=1, argv=0xbffffb24) at crush_it.cxx:21



I use Debian "sid", GiNaC 1.0.10 (installed from debs), g++ 2.95.4