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

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added inline comments.


================
Comment at: lib/Analysis/AliasAnalysis.cpp:193
         if (ArgAlias != NoAlias) {
           ModRefInfo ArgMask = getArgModRefInfo(CS, ArgIdx);
           DoesAlias = true;
----------------
Is this bit changing behavior?  Both before and after we look at `IsMustAlias` only when `DoesAlias` is true, and your change only possibly changes the value of `IsMustAlias` in the cases where `DoesAlias` is false.


Repository:
  rL LLVM

https://reviews.llvm.org/D42211