carlobertolli wrote: One thing I would like to see is an example where the then statement is actually executed, i.e. what is that PLoc = .... false for? Not urgent, merging this pr is more important. https://github.com/llvm/llvm-project/pull/161583