Searched refs:markAsSink (Results 1 – 6 of 6) sorted by relevance
167 bool markAsSink, const void *tag) { in generateNodeImpl() argument169 if (markAsSink && node) in generateNodeImpl()170 node->markAsSink(); in generateNodeImpl()175 ExplodedNode *pred, bool markAsSink) { in generateNodeImpl() argument177 if (markAsSink && node) in generateNodeImpl()178 node->markAsSink(); in generateNodeImpl()
170 void markAsSink() { Succs.setFlag(); } in markAsSink() function
67 N->markAsSink(); in checkBranchCondition()
478 node->markAsSink(); in generateNodeImpl()544 N->markAsSink(); in MakeNode()672 Succ->markAsSink(); in generateNode()716 Succ->markAsSink(); in generateDefaultCaseNode()
379 NewN->markAsSink(); in TrimInternal()
3305 N->markAsSink(); in HandleAutoreleaseCounts()