Lines Matching defs:getState

824         N->getState()->getStateManager().getContext().getSourceManager());
982   ProgramStateRef getState() const { return state; }
1136   ProgramStateRef State = C.getState();
1144   ProgramStateRef State = C.getState();
1153   ProgramStateRef State = C.getState();
1196   ProgramStateRef State = C.getState();
1204   ProgramStateRef State = C.getState();
1212   ProgramStateRef State = C.getState();
1223   ProgramStateRef State = C.getState();
1232   ProgramStateRef State = C.getState();
1243   ProgramStateRef State = C.getState();
1254   ProgramStateRef State = C.getState();
1263   ProgramStateRef State = C.getState();
1304   ProgramStateRef State = C.getState();
1314   ProgramStateRef State = C.getState();
1323   ProgramStateRef State = C.getState();
1334   ProgramStateRef State = C.getState();
1357   ProgramStateRef State = C.getState();
1380   ProgramStateRef State = C.getState();
1402   ProgramStateRef State = C.getState();
1412   ProgramStateRef State = C.getState();
1446   ProgramStateRef State = C.getState();
1585   ProgramStateRef State = C.getState();
1659       FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(),
2157   if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym))
2160   const RefState *RS = C.getState()->get<RegionState>(Sym);
2464         C.getState()->get<RegionState>(Sym)->getAllocationFamily();
2749     ProgramStateRef State = N->getState();
2787   const RefState *RS = C.getState()->get<RegionState>(Sym);
2848   ProgramStateRef state = C.getState();
2866            C.getState()->get<ReallocPairs>());
2868            C.getState()->get<FreeReturnValue>());
2892     N = C.generateNonFatalErrorNode(C.getState(), &Tag);
2916     ProgramStateRef State = C.getState();
2992   ProgramStateRef State = C.getState();
3021   ProgramStateRef state = C.getState();
3042     state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();
3048   const RefState *RS = C.getState()->get<RegionState>(Sym);
3070   ProgramStateRef State = C.getState();
3096   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
3100   else if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) {
3425   ProgramStateRef state = N->getState();
3426   ProgramStateRef statePrev = N->getFirstPred()->getState();