ojhunt wrote: I also considered a side table mapping CXXNewExpr=>resolved allocation arguments, but that requires serializing a deserializing that list as well. But maybe that's reasonable? https://github.com/llvm/llvm-project/pull/211482