Lines Matching refs:ProgramStateRef
99 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
101 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
221 ProgramStateRef state = C.getState();
232 ProgramStateRef stateNotNull, stateNull;
248 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
254 ProgramStateRef state = C.getState();
261 ProgramStateRef state = C.getState();
268 ProgramStateRef state = C.getState();
295 ProgramStateRef state = C.getState();
302 ProgramStateRef state = C.getState();
309 ProgramStateRef state = C.getState();
316 ProgramStateRef state = C.getState();
323 ProgramStateRef state = C.getState();
330 ProgramStateRef state = C.getState();
337 ProgramStateRef state = C.getState();
344 ProgramStateRef state = C.getState();
350 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,
357 ProgramStateRef stateNotNull, stateNull;
373 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE,
374 ProgramStateRef state,
412 ProgramStateRef state = C.getState();
432 ProgramStateRef state = Ctx.getState();
457 ProgramStateRef state = C.getState();