Comment by kriiuuu

That is not UB. That is simply mutable data. The solution here is static analysis (Rust) or immutable persistent collections.