maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[stack-safety] Fix and uncomment assert 

llvm-svn: 347625
This commit is contained in:
Vitaly Buka 2018-11-27 01:56:35 +00:00
parent 769bff18be
commit 7792f5f145
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Analysis/StackSafetyAnalysis.cpp
View File

@ -462,9 +462,8 @@ bool StackSafetyDataFlowAnalysis::updateOneUse(UseInfo &US,
bool UpdateToFullSet) { bool UpdateToFullSet) {
bool Changed = false; bool Changed = false;
for (auto &CS : US.Calls) { for (auto &CS : US.Calls) {
// FIXME: this doesn't build. assert(!CS.Offset.isEmptySet() &&
// assert(!CS.Range.isEmptySet() && "Param range can't be empty-set, invalid offset range");
// "Param range can't be empty-set, invalid access range");
ConstantRange CalleeRange = getArgumentAccessRange(CS.Callee, CS.ParamNo); ConstantRange CalleeRange = getArgumentAccessRange(CS.Callee, CS.ParamNo);
CalleeRange = CalleeRange.add(CS.Offset); CalleeRange = CalleeRange.add(CS.Offset);