Searched refs:FileDesc (Results 1 – 2 of 2) sorted by relevance
102 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE() local103 if (!FileDesc) in REGISTER_MAP_WITH_PROGRAMSTATE()108 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in REGISTER_MAP_WITH_PROGRAMSTATE()121 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall() local122 if (!FileDesc) in checkPreCall()127 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()129 reportDoubleClose(FileDesc, Call, C); in checkPreCall()134 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()
195 const int FileDesc = open("/dev/urandom", O_RDONLY); in getRandom() local196 if (FileDesc == -1) in getRandom()198 ReadBytes = read(FileDesc, Buffer, Length); in getRandom()199 close(FileDesc); in getRandom()