Searched refs:addTrackedCondition (Results 1 – 2 of 2) sorted by relevance
515 bool addTrackedCondition(const ExplodedNode *Cond) { in addTrackedCondition() function
2078 if (BR.addTrackedCondition(N)) { in VisitNode()