• Alexandre Duret-Lutz's avatar
    work around gcc 8.2.1+ bug #89303 · a86925e2
    Alexandre Duret-Lutz authored
    Do not call std::make_shared on classes inheriting from
    std::enable_shared_from_this when compiling with g++ 8.2.
    * NEWS: Mention the bug.
    * spot/misc/common.hh (SPOT_make_shared_enabled__): New macro.
    * spot/twa/twagraph.cc, spot/twa/twagraph.hh, spot/twa/twaproduct.hh,
    spot/twa/taatgba.hh, spot/twaalgos/couvreurnew.cc,
    spot/twaalgos/magic.cc, spot/twaalgos/se05.cc, spot/twaalgos/tau03.cc,
    spot/twaalgos/tau03opt.cc, spot/twaalgos/gv04.cc,
    spot/ltsmin/ltsmin.cc, spot/twaalgos/gtec/gtec.cc: Use it.
Last commit
Last update
.gitignore Loading commit data...
Makefile.am Loading commit data...
README Loading commit data...
libspotltsmin.pc.in Loading commit data...
ltsmin.cc Loading commit data...
ltsmin.hh Loading commit data...