Searched refs:TrackedConditions (Results 1 – 1 of 1) sorted by relevance
351 llvm::SmallSet<const ExplodedNode *, 4> TrackedConditions; variable516 return TrackedConditions.insert(Cond).second; in addTrackedCondition()