crashes with --disable-shared

Received from Joachim Klein.

Hi Alexandre,

with current Spot 1.99.7, I get segfaults for randltl when compiled statically:

$ ./randltl 2

    #0  std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&) () at ../../../../../src/gcc-5.1.0/libstdc++-v3/src/c++98/tree.cc:370
    #1  0x0000000000422076 in std::_Rb_tree<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const, spot::fnode const*>, std::_Select1st<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const, spot::fnode const*> >, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const, spot::fnode const*> > >::erase(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) () at /opt/gccs/5.1.0/include/c++/5.1.0/bits/stl_tree.h:2258
    #2  0x000000000041b97e in spot::fnode::destroy_aux() const () at /opt/gccs/5.1.0/include/c++/5.1.0/bits/stl_map.h:742
    #3  0x00000000004066a8 in std::_Rb_tree<spot::formula, spot::formula, std::_Identity<spot::formula>, std::less<spot::formula>, std::allocator<spot::formula> >::_M_erase(std::_Rb_tree_node<spot::formula>*) ()
        at ../spot/tl/formula.hh:125
    #4  0x0000000000406677 in std::_Rb_tree<spot::formula, spot::formula, std::_Identity<spot::formula>, std::less<spot::formula>, std::allocator<spot::formula> >::_M_erase(std::_Rb_tree_node<spot::formula>*) ()
        at /opt/gccs/5.1.0/include/c++/5.1.0/bits/stl_tree.h:1622
    #5  0x00000000004066cb in std::set<spot::formula, std::less<spot::formula>, std::allocator<spot::formula> >::~set() () at /opt/gccs/5.1.0/include/c++/5.1.0/bits/stl_tree.h:859
    #6  0x00007ffff705cae2 in __run_exit_handlers (status=0, listp=0x7ffff73ab4c8, run_list_atexit=true) at exit.c:78
    #7  0x00007ffff705cb35 in *__GI_exit (status=8405792) at exit.c:100
    #8  0x00007ffff7044eb4 in __libc_start_main (main=<optimized out>, argc=<optimized out>, ubp_av=<optimized out>, init=<optimized out>, fini=<optimized out>, rtld_fini=<optimized out>, stack_end=0x7fffffffe668)
        at libc-start.c:276
    #9  0x0000000000405b19 in _start ()

The above is on a Debian Wheezy with a current 5.1.0 version of GCC.

Configure is

/configure --enable-devel --disable-shared --disable-python CXX=/opt/gccs/5.1.0/bin/g++-5.1.0 --prefix=`pwd`

I have the same issue on OS X...

It worked with Spot 1.99.1, on OS X (only checked there) 1.99.6 also has this issue...