jkorous-apple wrote: Hi @ilya-biryukov and @ivanaivanovska! Unfortunately I currently don't have bandwidth for but I like this direction a lot and appreciate the effort you put into optimizing the analysis! https://github.com/llvm/llvm-project/pull/125492