[clang] [analyzer] Refine LCV handling in Store for better taint propagation (PR #114835)

[Balazs Benics via cfe-commits]

steakhal wrote:

> Thanks for the explanation -- code example reduction friendliness is a good point that I didn't think about. Based on this, I support keeping that commit, but perhaps add some remarks (in comments or the commit message, wherever you think it's well-placed) that mentions code reduction as a motivation.

Added the explanation to the [[analyzer] Allow copying empty structs (1/4)](https://github.com/llvm/llvm-project/pull/114835/commits/efa54ca20448e3af84dc9ea5d5bb9dbfbf021ed9#diff-c6b319d67a948674d0a135c65a7f64157d996b4f2b33d89dbfdeb4085d71907aR2345-R2348).

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