dtcxzyw wrote: > > Yeah, we should skip this inference for functions with the sanitize_memory attribute. > > I will post a patch later. Candidate patch: https://github.com/llvm/llvm-project/pull/76691 https://github.com/llvm/llvm-project/pull/76553