Fixed #4691 (False positive: Mismatching bitmasks in switch())