[clang] [clang][analyzer] CallAndMessage warnings at pointer to uninitialized struct (PR #164600)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 3 06:45:20 PST 2025
NagyDonat wrote:
> As I understand this, the refcounted Store object doesn't need to be built up gradually. You can create a Store object for your liking and then set your LCV to refer to that Store. That's true that what LCVs are currently built up gradually, but that's because we have regular compound vals that take that use case where we would create a branch new Store object in a single step, holding each binding.
Fair point, it would be indeed possible to replace non-lazy compound vals with LCVs that have an "artifical" state which is created just for them (and e.g. there is no node which uses it as the state).
https://github.com/llvm/llvm-project/pull/164600
More information about the cfe-commits
mailing list