Exhaustive return requirement, break/case/default/continue placement checking, declarations, and scopes