Lines Matching defs:Left
34 enum class OperandSide { Left, Right };
74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS();
116 if (BugReportPtr BR = checkOperandNegative(OperandSide::Left)) {
188 isLeftShift() ? "Left" : "Right", RightOpStr.empty() ? "" : " by",
217 Side == OperandSide::Left ? "Left" : "Right",
223 Side == OperandSide::Left ? "left" : "right")
238 const Expr *LHS = operandExpr(OperandSide::Left);
249 const auto Left = Ctx.getSVal(LHS).getAs<nonloc::ConcreteInt>();
250 if (!Left.has_value())
255 assert(Left->getValue()->isNonNegative());
259 const unsigned UsedBitsInLeftOperand = Left->getValue()->getActiveBits();
283 Left->getValue(), ConcreteRight->getValue(), LHSTy.getAsString());
286 Left->getValue(), ConcreteRight->getValue(), CapacityMsg, OverflownBits,
289 ShortMsg = formatv("Left shift of '{0}' overflows the capacity of '{1}'",
290 Left->getValue(), LHSTy.getAsString());
292 "Left shift of '{0}' is undefined {1}, so some bits overflow",
293 Left->getValue(), CapacityMsg);
305 NonNegOperands |= (Side == OperandSide::Left ? NonNegLeft : NonNegRight);