未定義は
The behavior is undefined if the right operand is negative,
or greater than or equal to the length in bits of the promoted left operand.