Merge pull request #453 from yuleisui/master

Add assertions when creating a clashed node (guard the DEBUG strategy in NodeIDAllocator)
SVF-tools · May 29, 2021 · 53ce786 · 53ce786
2 parents 427666f + d2b6c4f
commit 53ce786
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/Graphs/PAG.h b/include/Graphs/PAG.h
@@ -771,13 +771,13 @@ class PAG : public GenericGraph<PAGNode,PAGEdge>
     /// Add a value (pointer) node
     inline NodeID addValNode(const Value*, PAGNode *node, NodeID i)
     {
-		assert(i<UINT_MAX && "exceeding the maximum node limits");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a memory obj node
     inline NodeID addObjNode(const Value*, PAGNode *node, NodeID i)
     {
-		assert(i<UINT_MAX && "exceeding the maximum node limits");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a unique return node for a procedure