[llvm] [polly] [IR] Enable dereferenceable-at-point semantics (PR #204795)

[Nikita Popov via llvm-commits]

nikic wrote:

@danilaml See https://github.com/llvm/llvm-project/blob/9fbbe3e5b4d0bf7ca97621f006a87235dbd4ac77/llvm/lib/IR/Value.cpp#L879-L907 I think the intent is that GC should be handled by that, but presumably it requires patching that code to match your GC strategy and address space use.

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