[llvm] r347625 - [stack-safety] Fix and uncomment assert

[Vitaly Buka via llvm-commits]

Author: vitalybuka
Date: Mon Nov 26 17:56:35 2018
New Revision: 347625

URL: http://llvm.org/viewvc/llvm-project?rev=347625&view=rev
Log:
[stack-safety] Fix and uncomment assert

Modified:
    llvm/trunk/lib/Analysis/StackSafetyAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/StackSafetyAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/StackSafetyAnalysis.cpp?rev=347625&r1=347624&r2=347625&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/StackSafetyAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/StackSafetyAnalysis.cpp Mon Nov 26 17:56:35 2018
@@ -462,9 +462,8 @@ bool StackSafetyDataFlowAnalysis::update
                                                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);