|
These were for possible unintended fallthrough, though inspection
shows that these were occurring after fatal error handler calls so
adding breaks would not be an issue.
However, since these call error() and thus the breaks will not be
executed and are thus "dead" code, this might provoke warnings in
future.
Another solution would have been to comment that these fallthroughs
are intended, but breaks are better in case the error handler is
changed in future.
|