149   ProgramStateRef State = C.getState();  in checkPreStmt()  local
164   ProgramStateRef State = C.getState();  in checkPreStmt()  local
181   ProgramStateRef State = C.getState();  in checkPreStmt()  local
191   ProgramStateRef State = C.getState();  in checkPreStmt()  local
198   auto State = C.getState();  in verifyDereference()  local
224   auto State = C.getState();  in verifyRandomIncrOrDecr()  local
298 bool isZero(ProgramStateRef State, const NonLoc &Val) {  in isZero()
305 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isPastTheEnd()
321 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {  in isAheadOfRange()
337 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isBehindPastTheEnd()
353 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isLess()
357 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isGreater()
361 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isEqual()