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

[Nikolas Klauser via llvm-commits]

philnik777 wrote:

> Just to double check, the C++ standard does not actually forbid freeing `this` -- right?

I'm not sure the standard really says anything about that. I'm pretty sure we know at any member-function call that the memory hasn't been freed, but I don't know that that also applies to the entire function.

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