[clang] [analyzer] Fix false positive for bitfield read after cast-pointer write (PR #188387)

[Balázs Benics via cfe-commits]

steakhal wrote:

> Btw, i having hard time to view your requested changes. Button not working somehow.

I didn't leave any so I suspect there is nothing there for you to see. I had a quick look and concluded that we need a bit more discussion because I think the root cause is different to what you focused in this patch.
I think you are on the right track though - at least wrt. patching the Store, and I really appreciate that you started looking into this. But keep the discussion under the issue.

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