Lines Matching refs:getSVal

141   if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {  in warnIfNilExpr()
444   SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);  in checkPreStmt()
464   SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);  in checkPreStmt()
573   SVal ArgVal = state->getSVal(Arg, C.getLocationContext());  in checkPreStmt()
889   SVal CollectionVal = C.getSVal(FCS->getCollection());  in checkCollectionNonNil()
928     ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();  in checkElementNonNil()
935   SVal Val = State->getSVal(*ElementLoc);  in checkElementNonNil()
980     State->getSVal(FCS->getCollection(), C.getLocationContext()).getAsSymbol();  in assumeCollectionNonEmpty()
1010   SVal CollectionSentinel = C.getSVal(FCS);  in checkPostStmt()
1066   SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();  in checkPostObjCMessage()
1208   SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());  in assumeExprIsNonNull()