diff options
| -rw-r--r-- | llvm/lib/Analysis/StackSafetyAnalysis.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/StackSafetyAnalysis.cpp b/llvm/lib/Analysis/StackSafetyAnalysis.cpp index e4f21b7e746..97fc96cafad 100644 --- a/llvm/lib/Analysis/StackSafetyAnalysis.cpp +++ b/llvm/lib/Analysis/StackSafetyAnalysis.cpp @@ -462,9 +462,8 @@ bool StackSafetyDataFlowAnalysis::updateOneUse(UseInfo &US, bool UpdateToFullSet) { bool Changed = false; for (auto &CS : US.Calls) { - // FIXME: this doesn't build. - // assert(!CS.Range.isEmptySet() && - // "Param range can't be empty-set, invalid access range"); + assert(!CS.Offset.isEmptySet() && + "Param range can't be empty-set, invalid offset range"); ConstantRange CalleeRange = getArgumentAccessRange(CS.Callee, CS.ParamNo); CalleeRange = CalleeRange.add(CS.Offset); |
