Hardcode84 wrote: Currently traveling, will have more time to look next week but high level comment is that should probably be handled in the dataflow infra itself, not in specific analysis. https://github.com/llvm/llvm-project/pull/192235