[llvm] [llvm] Improve llvm.objectsize computation by computing GEP, alloca a… (PR #117849)

[Martin Storsjö via llvm-commits]

mstorsjo wrote:

Thanks! Makes sense, somewhat. In this case, when there's uncertainty whether we _really_ are out of bounds or not, I think the more reasonable conclusion is not the worst case, but the best case (since we can't know if the worst case actually is hit), at least for calculating potential bounds. Anyway, it'll be interesting to see what you come up with tomorrow!

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