Skip to content
  • 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.
    a86925e2
To find the state of this project's repository at the time of any of these versions, check out the tags.