Lines Matching defs:Right

34 enum class OperandSide { Left, Right };
109   if (BugReportPtr BR = checkOperandNegative(OperandSide::Right)) {
170   if (assumeRequirement(OperandSide::Right, BO_LT, LHSBitWidth))
173   const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right));
176   if (auto ConcreteRight = Right.getAs<nonloc::ConcreteInt>())
180     if (const llvm::APSInt *MinRight = SVB.getMinValue(FoldedState, Right);
188       isLeftShift() ? "Left" : "Right", RightOpStr.empty() ? "" : " by",
217                                  Side == OperandSide::Left ? "Left" : "Right",
264   if (assumeRequirement(OperandSide::Right, BO_LT, MaximalAllowedShift + 1))
272   const SVal Right = Ctx.getSVal(Op->getRHS());
275   if (const auto ConcreteRight = Right.getAs<nonloc::ConcreteInt>()) {
308       assert(Side == OperandSide::Right);