Lines Matching refs:Left
34 enum class OperandSide { Left, Right }; enumerator
74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
116 if (BugReportPtr BR = checkOperandNegative(OperandSide::Left)) { in run()
216 Side == OperandSide::Left ? "Left" : "Right", in checkOperandNegative()
222 Side == OperandSide::Left ? "left" : "right") in checkOperandNegative()
237 const Expr *LHS = operandExpr(OperandSide::Left); in checkLeftShiftOverflow()
248 const auto Left = Ctx.getSVal(LHS).getAs<nonloc::ConcreteInt>(); in checkLeftShiftOverflow() local
249 if (!Left.has_value()) in checkLeftShiftOverflow()
254 assert(Left->getValue().isNonNegative()); in checkLeftShiftOverflow()
258 const unsigned UsedBitsInLeftOperand = Left->getValue().getActiveBits(); in checkLeftShiftOverflow()
282 Left->getValue(), ConcreteRight->getValue(), LHSTy.getAsString()); in checkLeftShiftOverflow()
285 Left->getValue(), ConcreteRight->getValue(), CapacityMsg, OverflownBits, in checkLeftShiftOverflow()
289 Left->getValue(), LHSTy.getAsString()); in checkLeftShiftOverflow()
292 Left->getValue(), CapacityMsg); in checkLeftShiftOverflow()
304 NonNegOperands |= (Side == OperandSide::Left ? NonNegLeft : NonNegRight); in recordAssumption()