Fix -Wimplicit-fallthrough warnings
This PR fixes -Wimplicit-fallthrough warnings by adding annotations expected by GCC. Additionally, one obvious yet almost harmless bug has been fixed.
This PR fixes -Wimplicit-fallthrough warnings by adding annotations expected by GCC. Additionally, one obvious yet almost harmless bug has been fixed.