96   const SymbolRef Offset;
98   IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)  in IteratorPosition()
104   SymbolRef getOffset() const { return Offset; }  in getOffset()
110   static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {  in getPosition()
114   IteratorPosition setTo(SymbolRef NewOf) const {  in setTo()
137 typedef llvm::PointerUnion<const MemRegion *, SymbolRef> RegionOrSymbol;
142   const SymbolRef Begin, End;
144   ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {}  in ContainerData()
147   static ContainerData fromBegin(SymbolRef B) {  in fromBegin()
151   static ContainerData fromEnd(SymbolRef E) {  in fromEnd()
155   SymbolRef getBegin() const { return Begin; }  in getBegin()
156   SymbolRef getEnd() const { return End; }  in getEnd()
158   ContainerData newBegin(SymbolRef B) const { return ContainerData(B, End); }  in newBegin()
160   ContainerData newEnd(SymbolRef E) const { return ContainerData(Begin, E); }  in newEnd()
290 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorSymbolMap, SymbolRef, IteratorPosition)
338 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
339 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
342                                      const SymbolRef Sym);
344                                    const SymbolRef Sym);
366                                      const MemRegion *Cont, SymbolRef Offset,
369                                             SymbolRef Offset,
372                                             SymbolRef Offset1,
374                                             SymbolRef Offset2,
382                                                    SymbolRef Offset,
385     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
386     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
984 static ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,  in assumeNoOverflow()
1622 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
1623 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
1624 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
1625 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
1631 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
1632                         SymbolRef OldSym, SymbolRef NewSym);
1975 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
1983 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
1993                                      const SymbolRef Sym) {  in createContainerBegin()
2008                                    const SymbolRef Sym) {  in createContainerEnd()
2050   } else if (RegOrSym.is<SymbolRef>()) {  in getIteratorPosition()
2051     return State->get<IteratorSymbolMap>(RegOrSym.get<SymbolRef>());  in getIteratorPosition()
2075   } else if (RegOrSym.is<SymbolRef>()) {  in setIteratorPosition()
2076     return State->set<IteratorSymbolMap>(RegOrSym.get<SymbolRef>(), Pos);  in setIteratorPosition()
2209                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
2222                                             SymbolRef Offset,  in invalidateIteratorPositions()
2234                                             SymbolRef Offset1,  in invalidateIteratorPositions()
2236                                             SymbolRef Offset2,  in invalidateIteratorPositions()
2263                                                    SymbolRef Offset,  in reassignAllIteratorPositionsUnless()
2279     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
2280     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) {  in rebaseSymbolInIteratorPositionsIf()
2294 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
2295                        SymbolRef OrigExpr, SymbolRef OldExpr,  in rebaseSymbol()
2296                        SymbolRef NewSym) {  in rebaseSymbol()
2365 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isLess()
2369 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isGreater()
2373 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isEqual()
2377 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,  in compare()