Searched refs:ConstraintRangeTy (Results 1 – 1 of 1) sorted by relevance
283 typedef llvm::ImmutableMap<SymbolRef,RangeSet> ConstraintRangeTy; typedef289 : public ProgramStatePartialTrait<ConstraintRangeTy> {346 const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(sym); in getSymVal()356 ConstraintRangeTy CR = state->get<ConstraintRange>(); in removeDeadBindings()357 ConstraintRangeTy::Factory& CRFactory = state->get_context<ConstraintRange>(); in removeDeadBindings()359 for (ConstraintRangeTy::iterator I = CR.begin(), E = CR.end(); I != E; ++I) { in removeDeadBindings()370 if (ConstraintRangeTy::data_type* V = state->get<ConstraintRange>(sym)) in GetRange()560 ConstraintRangeTy Ranges = St->get<ConstraintRange>(); in print()568 for (ConstraintRangeTy::iterator I=Ranges.begin(), E=Ranges.end(); I!=E; ++I){ in print()