If c were outside that range, the result would be undefined, and the compiler would not need to consider that possibility.