Searched refs:ConstraintMap (Results 1 – 4 of 4) sorted by relevance
310 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>; variable311 ConstraintMap getConstraintMap(ProgramStateRef State);390 REGISTER_FACTORY_WITH_PROGRAMSTATE(ConstraintMap)
376 ConstraintMap Constraints;
1570 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()1571 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()1572 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()
2944 : Constraints(ConstraintMap::Factory().getEmptyMap()) {} in FalsePositiveRefutationBRVisitor()2986 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()2987 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()