Home | History | Annotate | Download | only in Checkers

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();