The use of a fallthrough statement is intended to suppress
a warning that an implementation might otherwise issue
for a case or default label that is reachable
from another case or default label along some path of execution.

Implementations should issue a warning
if a fallthrough statement is not dynamically reachable.