Searched refs:CheckDoubleClose (Results 1 – 1 of 1) sorted by relevance
98 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,238 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C); in Fclose()352 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE, in CheckDoubleClose() function in StreamChecker