> If Microsoft makes a guarantee in their documentation about some behavior of UB C code But do they? Where? More likely, you mean that a particular compiler

> If Microsoft makes a guarantee in their documentation about some behavior of UB C code But do they? Where? More likely, you mean that a particular compiler may say "while the standard says this is UB, it is not UB in this compiler". That's something wholly different, because you're no longer invoking UB.