T-Gruber wrote: Hello @steakhal, I have just looked through the changes again. What is the advantage of using checkPreCall instead of checkLocation? I would very much appreciate some background information. Thanks for your help! https://github.com/llvm/llvm-project/pull/85104