svf-lib 1.0.1223 → 1.0.1224
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
@@ -422,11 +422,11 @@ protected:
|
|
|
422
422
|
{
|
|
423
423
|
DPIm dpm(oldDpm);
|
|
424
424
|
dpm.setLocVar(edge->getSrcNode(),ptr);
|
|
425
|
-
DOTIMESTAT(double start = DDAStat::getClk());
|
|
425
|
+
DOTIMESTAT(double start = DDAStat::getClk(true));
|
|
426
426
|
/// handle context-/path- sensitivity
|
|
427
427
|
if(handleBKCondition(dpm,edge)==false)
|
|
428
428
|
{
|
|
429
|
-
DOTIMESTAT(ddaStat->_TotalTimeOfBKCondition += DDAStat::getClk() - start);
|
|
429
|
+
DOTIMESTAT(ddaStat->_TotalTimeOfBKCondition += DDAStat::getClk(true) - start);
|
|
430
430
|
DBOUT(DDDA, SVFUtil::outs() << "\t!!! infeasible path svfgNode: " << edge->getDstID() << " --| " << edge->getSrcID() << "\n");
|
|
431
431
|
DOSTAT(ddaStat->_NumOfInfeasiblePath++);
|
|
432
432
|
return;
|
|
@@ -562,9 +562,9 @@ protected:
|
|
|
562
562
|
{
|
|
563
563
|
if (unionDDAPts(dpm, pts))
|
|
564
564
|
{
|
|
565
|
-
DOSTAT(double start = DDAStat::getClk());
|
|
565
|
+
DOSTAT(double start = DDAStat::getClk(true));
|
|
566
566
|
reCompute(dpm);
|
|
567
|
-
DOSTAT(ddaStat->_AnaTimeCyclePerQuery += DDAStat::getClk() - start);
|
|
567
|
+
DOSTAT(ddaStat->_AnaTimeCyclePerQuery += DDAStat::getClk(true) - start);
|
|
568
568
|
}
|
|
569
569
|
}
|
|
570
570
|
virtual inline const CPtSet& getCachedTLPointsTo(const DPIm& dpm)
|