pskrgag wrote: > This is the main problem with evalCall, it does not really compose. I get it, but it seems very unlikely... Anyway, I don't have strong opinion, I just want to fix annoying false positives with ctu =) https://github.com/llvm/llvm-project/pull/111588