Searched refs:FileDesc (Results 1 – 1 of 1) sorted by relevance
127 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall() local128 if (!FileDesc) in checkPostCall()133 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in checkPostCall()146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall() local147 if (!FileDesc) in checkPreCall()152 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()154 reportDoubleClose(FileDesc, Call, C); in checkPreCall()159 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()