Index: llvm/lib/Transforms/IPO/AttributorAttributes.cpp =================================================================== --- llvm/lib/Transforms/IPO/AttributorAttributes.cpp +++ llvm/lib/Transforms/IPO/AttributorAttributes.cpp @@ -2024,11 +2024,12 @@ IRPosition CalleeArgumentIRP = IRPosition::callsite_argument(CB, idx); if (!CalleeArgumentIRP.hasAttr({Attribute::NoUndef})) continue; - auto &NonNullAA = A.getAAFor(*this, CalleeArgumentIRP); + auto &NonNullAA = A.getAAFor(*this, CalleeArgumentIRP, + /* TrackDependence */ false); if (!NonNullAA.isKnownNonNull()) continue; - const auto &ValueSimplifyAA = - A.getAAFor(*this, IRPosition::value(*ArgVal)); + const auto &ValueSimplifyAA = A.getAAFor( + *this, IRPosition::value(*ArgVal), /* TrackDependence */ false); Optional SimplifiedVal = ValueSimplifyAA.getAssumedSimplifiedValue(A); @@ -2071,7 +2072,8 @@ } else { if (isa(V)) { auto &NonNullAA = A.getAAFor( - *this, IRPosition::returned(*getAnchorScope())); + *this, IRPosition::returned(*getAnchorScope()), + /* TrackDependence */ false); if (NonNullAA.isKnownNonNull()) FoundUB = true; }