[clang] [llvm] split load to bytes to deduce load value (PR #72364)

[Nikita Popov via cfe-commits]

https://github.com/nikic requested changes to this pull request.

I don't like the overall approach of assembling this from individual byte-sized loads here. What I would expect to see is more something along these lines: If we find a clobbering store that a) only clobbers some subset of the loaded bytes and b) stores a constant, then try to find the next clobbering store from there, and continue doing this until we have found all the bytes being loaded.

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