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