[Attributor] Mark dependence as optional

This commit is contained in:
Johannes Doerfert 2020-05-07 16:47:57 -05:00
parent 6d2a66b10d
commit 675334daef
1 changed files with 2 additions and 1 deletions

View File

@ -3018,7 +3018,8 @@ identifyAliveSuccessors(Attributor &A, const InvokeInst &II,
AliveSuccessors.push_back(&II.getUnwindDest()->front());
} else {
const IRPosition &IPos = IRPosition::callsite_function(II);
const auto &AANoUnw = A.getAAFor<AANoUnwind>(AA, IPos);
const auto &AANoUnw = A.getAAFor<AANoUnwind>(
AA, IPos, /* TrackDependence */ true, DepClassTy::OPTIONAL);
if (AANoUnw.isAssumedNoUnwind()) {
UsedAssumedInformation |= !AANoUnw.isKnownNoUnwind();
} else {