234   ProgramStateRef State = N->getState();  in REGISTER_MAP_WITH_PROGRAMSTATE()
242     State = N->getState();  in REGISTER_MAP_WITH_PROGRAMSTATE()
244       const HandleState *HState = Pred->getState()->get<HStateMap>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
258   ProgramStateRef getState() const { return State; }  in getState()  function in __anonf11f63c60211::FuchsiaHandleSymbolVisitor
322   ProgramStateRef State = C.getState();  in checkPreCall()
374   ProgramStateRef State = C.getState();  in checkPostCall()
508   ProgramStateRef State = C.getState();  in checkDeadSymbols()
616   ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
627   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportDoubleRelease()
635   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUnownedRelease()
643   ExplodedNode *ErrNode = C.generateErrorNode(C.getState());  in reportUseAfterFree()