Lines Matching refs:getRHS

267                             (SymInt->getRHS()) :  in decomposeSymbol()
268                             (-SymInt->getRHS()));  in decomposeSymbol()
628                 symIntExpr->getRHS(), resultTy);  in evalBinOpNN()
647               const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS());  in evalBinOpNN()
1285         RHS = SVB.makeIntLocVal(S->getRHS());  in simplifySValOnce()
1287         RHS = SVB.makeIntVal(S->getRHS());  in simplifySValOnce()
1299       SVal RHS = getConstOrVisit(S->getRHS());  in simplifySValOnce()
1300       if (isUnchanged(S->getRHS(), RHS))  in simplifySValOnce()
1318           Loc::isLocType(S->getRHS()->getType()))  in simplifySValOnce()
1322       SVal RHS = getConstOrVisit(S->getRHS());  in simplifySValOnce()
1324       if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS))  in simplifySValOnce()