283   void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
285   ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
325 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
326 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
327 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
330 const ProgramStateRef processComparison(ProgramStateRef State,
333 const ProgramStateRef saveComparison(ProgramStateRef State,
336 const IteratorComparison *loadComparison(ProgramStateRef State,
338 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
339 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
340 ProgramStateRef createContainerBegin(ProgramStateRef State,
343 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
345 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
347 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
349 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
351 ProgramStateRef setIteratorPosition(ProgramStateRef State,
354 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val);
355 ProgramStateRef adjustIteratorPosition(ProgramStateRef State,
358 ProgramStateRef relateIteratorPositions(ProgramStateRef State,
362 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State,
364 ProgramStateRef
365 invalidateAllIteratorPositionsExcept(ProgramStateRef State,
368 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
371 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
376 ProgramStateRef reassignAllIteratorPositions(ProgramStateRef State,
379 ProgramStateRef reassignAllIteratorPositionsUnless(ProgramStateRef State,
384 ProgramStateRef rebaseSymbolInIteratorPositionsIf(
385     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
387 const ContainerData *getContainerData(ProgramStateRef State,
389 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
391 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
394 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
395 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
396 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
397 bool isZero(ProgramStateRef State, const NonLoc &Val);
771 void IteratorChecker::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
852 ProgramStateRef IteratorChecker::evalAssume(ProgramStateRef State, SVal Cond,  in evalAssume()
984 static ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,  in assumeNoOverflow()
993   ProgramStateRef NewState = State;  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,
1627 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
1629 const CXXRecordDecl *getCXXRecordDecl(ProgramStateRef State,
1631 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
1873 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
1889 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
1904 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
1919 const CXXRecordDecl *getCXXRecordDecl(ProgramStateRef State,  in getCXXRecordDecl()
1944 const ProgramStateRef processComparison(ProgramStateRef State,  in processComparison()
1959 const ProgramStateRef saveComparison(ProgramStateRef State,  in saveComparison()
1970 const IteratorComparison *loadComparison(ProgramStateRef State,  in loadComparison()
1975 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
1983 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
1991 ProgramStateRef createContainerBegin(ProgramStateRef State,  in createContainerBegin()
2007 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
2022 const ContainerData *getContainerData(ProgramStateRef State,  in getContainerData()
2027 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
2032 const IteratorPosition *getIteratorPosition(ProgramStateRef State,  in getIteratorPosition()
2045 const IteratorPosition *getIteratorPosition(ProgramStateRef State,  in getIteratorPosition()
2056 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,  in setIteratorPosition()
2069 ProgramStateRef setIteratorPosition(ProgramStateRef State,  in setIteratorPosition()
2081 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val) {  in removeIteratorPosition()
2093 ProgramStateRef adjustIteratorPosition(ProgramStateRef State,  in adjustIteratorPosition()
2104 ProgramStateRef relateIteratorPositions(ProgramStateRef State,  in relateIteratorPositions()
2136 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()
2165 ProgramStateRef processIteratorPositions(ProgramStateRef State, Condition Cond,  in processIteratorPositions()
2196 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State,  in invalidateAllIteratorPositions()
2207 ProgramStateRef
2208 invalidateAllIteratorPositionsExcept(ProgramStateRef State,  in invalidateAllIteratorPositionsExcept()
2221 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
2233 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
2248 ProgramStateRef reassignAllIteratorPositions(ProgramStateRef State,  in reassignAllIteratorPositions()
2260 ProgramStateRef reassignAllIteratorPositionsUnless(ProgramStateRef State,  in reassignAllIteratorPositionsUnless()
2278 ProgramStateRef rebaseSymbolInIteratorPositionsIf(  in rebaseSymbolInIteratorPositionsIf()
2279     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
2294 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
2310 bool isZero(ProgramStateRef State, const NonLoc &Val) {  in isZero()
2317 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isPastTheEnd()
2333 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {  in isAheadOfRange()
2349 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isBehindPastTheEnd()
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()
2383 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,  in compare()