[PATCH] D42211: [ModRefInfo] Set ModRefInfo::Must for calls.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea created this revision.
asbirlea added a reviewer: sanjoy.
Herald added a subscriber: jlebar.

Follow-up patch to introducing Must in ModRefInfo, set the Must flag for calls.
Must is only set if only MustAlias is found. Future work may include setting the flag also if MustAlias and NoAlias is found (no May or Partial alias).


Repository:
  rL LLVM

https://reviews.llvm.org/D42211

Files:
  lib/Analysis/AliasAnalysis.cpp
  lib/Analysis/BasicAliasAnalysis.cpp
  test/Analysis/BasicAA/cs-cs.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D42211.130309.patch
Type: text/x-patch
Size: 20345 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180118/9f17b8da/attachment.bin>