[PATCH] D46900: [BasicAA] Fix handling of invariant group launders

[Piotr Padlewski via Phabricator via llvm-commits]

Prazek added reviewers: hfinkel, sanjoy.
Prazek added a comment.

I went throught it and it looks good to me, I didn't expect that fixing CaptureTracking can lead Alias Analisis to return NoAlias instead of MustAlias. It would be nice if the code would check for such assumptions, but I have no ideas how it could be implemented.


Repository:
  rL LLVM

https://reviews.llvm.org/D46900