Searched refs:ConstraintRangeTy (Results 1 – 4 of 4) sorted by relevance
387 const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(Sym); in getSymVal()397 ConstraintRangeTy CR = State->get<ConstraintRange>(); in removeDeadBindings()398 ConstraintRangeTy::Factory &CRFactory = State->get_context<ConstraintRange>(); in removeDeadBindings()400 for (ConstraintRangeTy::iterator I = CR.begin(), E = CR.end(); I != E; ++I) { in removeDeadBindings()460 if (ConstraintRangeTy::data_type *V = State->get<ConstraintRange>(Sym)) in getRange()737 ConstraintRangeTy Ranges = St->get<ConstraintRange>(); in print()745 for (ConstraintRangeTy::iterator I = Ranges.begin(), E = Ranges.end(); I != E; in print()
2444 : Constraints(ConstraintRangeTy::Factory().getEmptyMap()) {} in FalsePositiveRefutationBRVisitor()2487 const ConstraintRangeTy &NewCs = N->getState()->get<ConstraintRange>(); in VisitNode()2488 ConstraintRangeTy::Factory &CF = in VisitNode()
129 using ConstraintRangeTy = llvm::ImmutableMap<SymbolRef, RangeSet>; variable133 : public ProgramStatePartialTrait<ConstraintRangeTy> {
331 ConstraintRangeTy Constraints;