[clang] Control analysis-based diagnostics with #pragma (PR #136323)

[Aaron Ballman via cfe-commits]

AaronBallman wrote:

Any other changes needed, or are you happy @haoNoQ? @erichkeane @Sirraide want to re-review given the significant reworking?

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