[clang] [llvm] [analyzer] New checker: optin.core.UnconditionalVAArg (PR #175602)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

I also tried to write a very straightforward `PreStmt<SwitchStmt>` callback to just ignore the switch and everything after it.

However, to me it seems that the engine completely ignores `PreStmt<SwitchStmt>`. Is it possible that `PreStmt` is limited to "simple" statements and control flow like `switch` uses special execution paths where it is skipped?
@steakhal @Xazax-hun @haoNoQ What do you know about this?

https://github.com/llvm/llvm-project/pull/175602