Newer GCCs start to warn about this, so add attributes or rearrange
code as appropriate.
While the [[fallthrough]] attribute has only been standardized in
C++17, it should simply be ignored by older compilers (and it does
shut up GCC even when compiling with -std=c++11).