[clang] [analyzer] `canReasonAbout` does not support `nonloc::LazyCompoundVal` (PR #87521)

Andrew V. Teylu via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 4 23:26:35 PDT 2024


aytey wrote:

> I suspect that you're loading checkers as clang plugins and one of them is causing it.

So here's how I'm invoking `clang` for those crashes:

* `./bin/clang -cc1 -analyze -analyzer-checker=nullability.NullPassedToNonnull -analyzer-config aggressive-binary-operation-simplification=true <file>`

For those crashes `<file>` can be anything (even empty!) and you get the same backtrace.

> There's something else going on.

Yeah, I'd agree with that! 😄 

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


More information about the cfe-commits mailing list