切换语句中的C标准字

char c = 0xff;
char mask = 0xfe;
switch ((unsigned)(c & mask)) {
case -2: /* do task 1 */ break;
default:   /* do task 2 */
}

让我们假设CHAR_BIT = 8并且实现定义了对c和掩码的赋值是通过对位模式的解释：11111111和11111110,并且允许负零.因此,此代码的行为是：

如果char被签名并且实现使用2的补码,则c = -1,mask = -2,c& mask = -2,(unsigned)(c& mask)= UINT_MAX – 1.

如果char被签名并且实现使用1的补码,则c = 0,mask = -1,c& mask = 0,(unsigned)(c& mask)= 0.
c为零而不是负零,因为C不允许通过赋值创建负零.

如果char已签名且实现使用带符号的大小,则c = -127,mask = -126,c& mask = -126,(unsigned)(c& mask)= UINT_MAX – 125

如果char是无符号c = 255,则mask = 254,c& mask = 254,(unsigned)(c& mask)= 254

case常量-2转换为与控制表达式相同的类型,因此值为UINT_MAX – 1.因此,只有在char被签名且实现使用2的补码时才会匹配.

根据C标准,这是正确的还是需要添加其他假设？