Searched refs:FileDesc (Results 1 – 2 of 2) sorted by relevance
99 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE() local100 if (!FileDesc) in REGISTER_MAP_WITH_PROGRAMSTATE()105 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in REGISTER_MAP_WITH_PROGRAMSTATE()115 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall() local116 if (!FileDesc) in checkPreCall()121 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()123 reportDoubleClose(FileDesc, Call, C); in checkPreCall()128 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()
195 const int FileDesc = open("/dev/urandom", O_RDONLY);196 if (FileDesc == -1)198 ReadBytes = read(FileDesc, Buffer, Length);199 close(FileDesc);188 const int FileDesc = open("/dev/urandom", O_RDONLY); getRandom() local