Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Spot Spot
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 133
    • Issues 133
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • SpotSpot
  • SpotSpot
  • Issues
  • #142
Closed
Open
Issue created Feb 10, 2016 by Alexandre Duret-Lutz@adlOwner

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...

Assignee
Assign to
Time tracking