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