https://github.com/NagyDonat commented: It's nice to see that you're working on this checker; but unfortunately the language standard is very complicated in this area, so you'll need more complex code to cover it properly. https://github.com/llvm/llvm-project/pull/93676