On Jan 6, 2012, at 2:05 PM, Ted Kremenek wrote: > Clang is not issuing a warning because it doesn't need to. This is a false positive. NewMsg is assigned a value in every case of the switch statement, and the switch statement covers the entire set of enum values. You are right. clang is being smart. - fariborz