unsigned ArgNo = 0;
ModRefInfo R = ModRefInfo::NoModRef;
- bool MustAlias = true;
+ bool IsMustAlias = true;
// Set flag only if no May found and all operands processed.
for (auto CI = CS.data_operands_begin(), CE = CS.data_operands_end();
CI != CE; ++CI, ++ArgNo) {
// assume that the call could touch the pointer, even though it doesn't
// escape.
if (AR != MustAlias)
- MustAlias = false;
+ IsMustAlias = false;
if (AR == NoAlias)
continue;
if (CS.doesNotAccessMemory(ArgNo))
// Not returning MustModRef since we have not seen all the arguments.
return ModRefInfo::ModRef;
}
- return MustAlias ? setMust(R) : clearMust(R);
+ return IsMustAlias ? setMust(R) : clearMust(R);
}
/// canBasicBlockModify - Return true if it is possible for execution of the