================ ---------------- ioghiban wrote: We could consider that case. It would still be semantically correct, I believe. We'd just stop the DFS there, skip the caller function checks and only update the callsite. I will update it. https://github.com/llvm/llvm-project/pull/199686