The compiler vendor can treat UB however they like. One option would be for them to specify that it does something in particular... (The C standard explicitly

The compiler vendor can treat UB however they like. One option would be for them to specify that it does something in particular... (The C standard explicitly calls this out as a valid way of handling UB.)