The value of UB is to clearly document what the obligations are for valid programs. I think an argument can be made for C (where annex J exists), but this defi

The value of UB is to clearly document what the obligations are for valid programs. I think an argument can be made for C (where annex J exists), but this definitely doesn't apply to C++. Hence the long languishing of P1705. I would also disagree for C though, because annex J can only cover explicit UB by definition and there's the entire category of implicit UB outside that.