[PATCH] D47088: Fix aliasing of launder.invariant.group

[Piotr Padlewski via Phabricator via llvm-commits]

Prazek added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:3389
+const Value *llvm::getArgumentAliasingToReturnedPointer(ImmutableCallSite CS) {
+  assert(CS);
+  if (const Value *RV = CS.getReturnedArgOperand())
----------------
xbolva00 wrote:
> Why assert here?
It is possible that this funciton would return nullptr if passed null CS,
but such function would be harder to reason about. In this case I assume that caller checked the the instruction is a CallSite, the same way as is done with different functions.


Repository:
  rL LLVM

https://reviews.llvm.org/D47088