Skip to content
  • Alexandre Duret-Lutz's avatar
    introduce SPOT_FALLTHROUGH to cope with -Wimplicit-fallthrough · a5d6aa25
    Alexandre Duret-Lutz authored
    * NEWS: Mention the fix.
    * HACKING: Mention the new macro.
    * spot/misc/common.hh (SPOT_FALLTHROUGH): Add the macro.
    * bin/randltl.cc, spot/misc/escape.cc, spot/tl/mutation.cc,
    spot/tl/print.cc, spot/tl/simplify.hh, spot/tl/snf.cc, spot/twa/acc.cc,
    spot/twaalgos/ltl2taa.cc, spot/twaalgos/ltl2tgba_fm.cc,
    spot/twaalgos/sepsets.cc, spot/twaalgos/translate.cc: Use it.
    a5d6aa25