Searched refs:MarkAsSink (Results 1 – 3 of 3) sorted by relevance
287 bool MarkAsSink,290 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))299 if (MarkAsSink)
246 bool MarkAsSink = false);
611 bool MarkAsSink) { in generateNodeImpl() argument614 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()621 if (!MarkAsSink) in generateNodeImpl()