Yep. Basically, if you take a signed int/long/etc. and a set bit shifts left into the sign bit — UB.
> a lot of things... would make much more sense as implementation defined.
Or even just defined. Apparently, the fact that shifting right a signed number is done arithmetically, not logically, is implementation-defined too.
Well, at lest bitwise not/and/or are (almost) fully defined even for signed integers, so that's something.