Lines Matching refs:lhs
44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
49 assert(lhs);
51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
54 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs,
59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
64 assert(lhs && rhs);
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
334 SVal lhs, SVal rhs, QualType type) {
336 if (lhs.isUndef() || rhs.isUndef())
339 if (lhs.isUnknown() || rhs.isUnknown())
342 if (Optional<Loc> LV = lhs.getAs<Loc>()) {
355 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type);
358 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
363 DefinedOrUnknownSVal lhs,
365 return evalBinOp(state, BO_EQ, lhs, rhs, Context.IntTy)