We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5168140 commit 5d833eeCopy full SHA for 5d833ee
llvm/lib/Analysis/ScalarEvolution.cpp
@@ -12098,8 +12098,10 @@ bool ScalarEvolution::isImpliedCondOperandsViaNoOverflow(
12098
// C)".
12099
12100
std::optional<APInt> LDiff = computeConstantDifference(LHS, FoundLHS);
12101
+ if (!LDiff)
12102
+ return false;
12103
std::optional<APInt> RDiff = computeConstantDifference(RHS, FoundRHS);
- if (!LDiff || !RDiff || *LDiff != *RDiff)
12104
+ if (!RDiff || *LDiff != *RDiff)
12105
return false;
12106
12107
if (LDiff->isMinValue())
0 commit comments