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

[Donát Nagy via cfe-commits]

NagyDonat wrote:

Thanks for handling this issue!

My quick first impression is that I'm satisfied with your changes. However, I'm a bit confused because as far as I see, the empty struct is _unable to_ transfer any attacker-controlled data, and therefore I don't know what does it mean that it's tainted. Do you have a practical use case where this would be useful?

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