Lines Matching defs:getState

903         N->getState()->getStateManager().getContext().getSourceManager());
1061   ProgramStateRef getState() const { return state; }
1251   ProgramStateRef State = C.getState();
1555   ProgramStateRef State = C.getState();
1721   ProgramStateRef State = C.getState();
1796   ProgramStateRef State = FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(),
2364   if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym))
2367   const RefState *RS = C.getState()->get<RegionState>(Sym);
2673         C.getState()->get<RegionState>(Sym)->getAllocationFamily();
2960     ProgramStateRef State = N->getState();
2998   const RefState *RS = C.getState()->get<RegionState>(Sym);
3059   ProgramStateRef state = C.getState();
3077            C.getState()->get<ReallocPairs>());
3079            C.getState()->get<FreeReturnValue>());
3103     N = C.generateNonFatalErrorNode(C.getState(), &Tag);
3117     (*PostFN)(this, C.getState(), Call, C);
3135     ProgramStateRef State = C.getState();
3155     (*PreFN)(this, C.getState(), Call, C);
3212   ProgramStateRef State = C.getState();
3241   ProgramStateRef state = C.getState();
3262     state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();
3268   const RefState *RS = C.getState()->get<RegionState>(Sym);
3290   ProgramStateRef State = C.getState();
3316   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
3320   else if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) {
3645   ProgramStateRef state = N->getState();
3646   ProgramStateRef statePrev = N->getFirstPred()->getState();