Searched refs:ConstraintMap (Results 1 – 4 of 4) sorted by relevance
404 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>; variable405 ConstraintMap getConstraintMap(ProgramStateRef State);500 REGISTER_FACTORY_WITH_PROGRAMSTATE(ConstraintMap)
605 ConstraintMap Constraints;
3441 : Constraints(ConstraintMap::Factory().getEmptyMap()) {} in FalsePositiveRefutationBRVisitor()3483 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()3484 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()
2265 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()2266 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()2267 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()