The C standard also allows doing it even when there is no UB. C gives implementations a ton of freedom.