[clang] [clang][analyzer] CallAndMessage warnings at pointer to uninitialized struct (PR #164600)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Sun Nov 2 02:45:31 PST 2025


steakhal wrote:

> In general, I tend to notice a pattern that `LazyCompoundVal` is too opaque and its performance benefits come with lots of added code complexity as we always need to explicitly check for it. (However I don't know enough, perhaps this is still the least wrong approach.)

LCVs are complicated. However, having nonloc::CompoundVals only make this worse. If I had to choose today, I'd only have LCVs for representing compount vals. But note that I have a strong believe that LCVs are necessary for their laziness. I'm pretty sure though that we could have nice APIs around it that would bring consistency and no surprises.

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


More information about the cfe-commits mailing list