Searched defs:markAsSink (Results 1 – 2 of 2) sorted by relevance
167 bool markAsSink, const void *tag) { in generateNodeImpl()175 ExplodedNode *pred, bool markAsSink) { in generateNodeImpl()
170 void markAsSink() { Succs.setFlag(); } in markAsSink() function