[ori_b]

There's undefined behavior, which is quite well specified. What do you mean by unspecified behavior? Do you have an example?

[ndesaulniers]

https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3685.pdf

Read section J.1.