efriedma-quic wrote: Do we want to say something about null pointers? Not sure which way you want to go, but we currently have some special handling for null in capture tracking. Do we need to say anything about fences? (ref #64188) https://github.com/llvm/llvm-project/pull/116990