add restrictions & dependencies #2
Description
Shifting by a negative value is undefined behaviour in C. Also you should make sure that the second operand is never higher than or equal to the bit-width of the left-hand type, since that is undefined as well.