Skip to content

Commit 681b078

Browse files
author
bjjwwang
committed
fix merge conflict
2 parents afb1b8f + 2060a61 commit 681b078

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed

svf-llvm/lib/CHGBuilder.cpp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -173,6 +173,10 @@ void CHGBuilder::connectInheritEdgeViaCall(const Function* caller, const CallBas
173173
{
174174
if (cs->arg_size() < 1 || (cs->arg_size() < 2 && cs->paramHasAttr(0, llvm::Attribute::StructRet)))
175175
return;
176+
if(caller->arg_size() == 0)
177+
{
178+
return;
179+
}
176180
const Value* csThisPtr = cppUtil::getVCallThisPtr(cs);
177181
const Argument* consThisPtr = getConstructorThisPtr(caller);
178182
bool samePtr = isSameThisPtrInConstructor(consThisPtr, csThisPtr);

svf/lib/AE/Svfexe/AbstractInterpretation.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -747,9 +747,12 @@ bool AbstractInterpretation::handleICFGNode(const ICFGNode* node)
747747
detector->detect(getAbsStateFromTrace(node), node);
748748
stat->countStateSize();
749749

750+
<<<<<<< HEAD
750751
// Track this node as analyzed (for coverage statistics across all entry points)
751752
allAnalyzedNodes.insert(node);
752753

754+
=======
755+
>>>>>>> root/master
753756
// Check if state changed (for fixpoint detection)
754757
// For entry nodes on first visit, always return true to process successors
755758
if (isFunEntry && !hadPrevState)

0 commit comments

Comments
 (0)