git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@254243
91177308-0d34-0410-b5e6-
96231b3b80d8
GetUnderlyingObjects(A, Objects, DL);
// All objects must be identified.
GetUnderlyingObjects(A, Objects, DL);
// All objects must be identified.
- if (!std::all_of(Objects.begin(), Objects.end(), [&GV](const Value *V) {
- return isIdentifiedObject(V);
- }))
+ if (!std::all_of(Objects.begin(), Objects.end(), isIdentifiedObject))
return ConservativeResult;
if (std::find(Objects.begin(), Objects.end(), GV) != Objects.end())
return ConservativeResult;
if (std::find(Objects.begin(), Objects.end(), GV) != Objects.end())
// Is the set of underlying objects all noalias calls?
auto IsNAC = [](SmallVectorImpl<Value *> &Objects) {
// Is the set of underlying objects all noalias calls?
auto IsNAC = [](SmallVectorImpl<Value *> &Objects) {
- return std::all_of(Objects.begin(), Objects.end(),
- [](Value *V){ return isNoAliasCall(V); });
+ return std::all_of(Objects.begin(), Objects.end(), isNoAliasCall);
};
// Is the set of underlying objects all things which must be disjoint from
};
// Is the set of underlying objects all things which must be disjoint from