================ ---------------- RalfJung wrote: So this shows that if we generate a read-only provenance twice we get the same ptr in both cases? Hm yeah that should be fine. https://github.com/llvm/llvm-project/pull/201170