Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Sym

235   if (SymbolRef Sym = RetVal.getAsSymbol()) {
238 stateNotNull->set<StreamState>(Sym,StreamState::getOpened(CE));
240 stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
376 SymbolRef Sym =
378 if (!Sym)
381 const StreamState *SS = state->get<StreamState>(Sym);
404 return state->set<StreamState>(Sym, StreamState::getClosed(CE));
411 SymbolRef Sym = *I;
413 const StreamState *SS = state->get<StreamState>(Sym);
458 SymbolRef Sym = state->getSVal(RetE, C.getLocationContext()).getAsSymbol();
460 if (!Sym)
463 const StreamState *SS = state->get<StreamState>(Sym);
468 state = state->set<StreamState>(Sym, StreamState::getEscaped(S));