Lines Matching refs:getSValAsScalarOrLoc
1327 receiverV = state->getSValAsScalarOrLoc(Receiver);
1861 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee());
1920 if (CurrSt->getSValAsScalarOrLoc(*AI).getAsLocSymbol() != Sym)
1929 if (CurrSt->getSValAsScalarOrLoc(receiver).getAsLocSymbol() == Sym) {
1957 SVal X = CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee());
2069 if (CurrSt->getSValAsScalarOrLoc(Exp).getAsLocSymbol() == Sym) {
3076 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE).getAsLocSymbol();