>>276 が成立するなら、符号が一致するかぎりcharが保持する値はshort intが表現できる範囲に収まる。
符合が一致するなら。
符合が一致するという保証は？

1byte = 64bit
short = 16bit
int=long=32bit

こういう処理系も存在できる。