Searched refs:FileDesc (Results 1 – 1 of 1) sorted by relevance
132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall() local133 if (!FileDesc) in checkPostCall()138 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in checkPostCall()156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall() local157 if (!FileDesc) in checkPreCall()162 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()164 reportDoubleClose(FileDesc, Call, C); in checkPreCall()169 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()