diff options
| author | Vitaly Buka <vitalybuka@google.com> | 2018-11-27 01:56:35 +0000 |
|---|---|---|
| committer | Vitaly Buka <vitalybuka@google.com> | 2018-11-27 01:56:35 +0000 |
| commit | 7792f5f145230779041e2700925820b4100f920d (patch) | |
| tree | 2ee4959434f1eab1514adce4988dc6b144bb8368 /llvm/lib/Analysis | |
| parent | 769bff18be5cee31a9ec1c0907e4211df2ff3595 (diff) | |
| download | bcm5719-llvm-7792f5f145230779041e2700925820b4100f920d.tar.gz bcm5719-llvm-7792f5f145230779041e2700925820b4100f920d.zip | |
[stack-safety] Fix and uncomment assert
llvm-svn: 347625
Diffstat (limited to 'llvm/lib/Analysis')
| -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); |
