[analyzer] LazyCompoundVals should be always bound as default bindings
authorBalazs Benics <benicsbalazs@gmail.com>
Tue, 13 Sep 2022 06:58:46 +0000 (08:58 +0200)
committerBalazs Benics <benicsbalazs@gmail.com>
Tue, 13 Sep 2022 06:58:46 +0000 (08:58 +0200)
commitafcd862b2e0a561bf03b1e7b83e6eec8e7143098
tree568edf5e7928cee656a175048b8ef70861157cd4
parentf8643a9b31c4029942f67d4534c9139b45173504
[analyzer] LazyCompoundVals should be always bound as default bindings

`LazyCompoundVals` should only appear as `default` bindings in the
store. This fixes the second case in this patch-stack.

Depends on: D132142

Reviewed By: xazax.hun

Differential Revision: https://reviews.llvm.org/D132143
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/test/Analysis/trivial-copy-struct.cpp