[PATCH] D66135: [SimplifyLibCalls] Add noalias from known callsites [WIP]

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

I can't be sure whether this marking is sound.

  void g(char *p); // maybe capture p
  void f(char *p, char *q){
      g(p);
      memcpy(p, q, 10);
  }

In the case above, I think we cannot mark p as `noalias` in `memcpy` callsite. Do I misunderstand the semantic of `memcpy`?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66135/new/

https://reviews.llvm.org/D66135