svf-lib 1.0.813 → 1.0.814
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
|
|
@@ -408,13 +408,13 @@ protected:
|
|
|
408
408
|
}
|
|
409
409
|
else
|
|
410
410
|
{
|
|
411
|
-
assert((it->second == node->getId()) && "a
|
|
411
|
+
assert((it->second == node->getId()) && "a SVFVar can only have unique definition ");
|
|
412
412
|
}
|
|
413
413
|
}
|
|
414
414
|
inline NodeID getDef(const PAGNode* pagNode) const
|
|
415
415
|
{
|
|
416
416
|
PAGNodeToDefMapTy::const_iterator it = PAGNodeToDefMap.find(pagNode);
|
|
417
|
-
assert(it!=PAGNodeToDefMap.end() && "
|
|
417
|
+
assert(it!=PAGNodeToDefMap.end() && "SVFVar does not have a definition??");
|
|
418
418
|
return it->second;
|
|
419
419
|
}
|
|
420
420
|
inline bool hasDef(const PAGNode* pagNode) const
|