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