[llvm] [Analysis] Teach ScalarEvolution::getRangeRef about more dereferenceable objects (PR #104778)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 19 06:57:47 PDT 2024


https://github.com/nikic commented:

I think this is correct. The logic does not really depend on it being the start of an allocated object.

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


More information about the llvm-commits mailing list