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