71   const Expr *operandExpr(OperandSide Side) const {  in operandExpr()
72     return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS();  in operandExpr()
81   bool assumeRequirement(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
83   void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
89   BugReportPtr checkOperandNegative(OperandSide Side);
135 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side,  in assumeRequirement()  argument
140   const SVal OperandVal = Ctx.getSVal(operandExpr(Side));  in assumeRequirement()
158       recordAssumption(Side, Comparison, Limit);  in assumeRequirement()
205 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) {  in checkOperandNegative()  argument
207   if (!operandExpr(Side)->getType()->isSignedIntegerType())  in checkOperandNegative()
211   if (assumeRequirement(Side, BO_GE, 0))  in checkOperandNegative()
215                                  Side == OperandSide::Left ? "Left" : "Right",  in checkOperandNegative()
221                             Side == OperandSide::Left ? "left" : "right")  in checkOperandNegative()
297 void BitwiseShiftValidator::recordAssumption(OperandSide Side,  in recordAssumption()  argument
303       NonNegOperands |= (Side == OperandSide::Left ? NonNegLeft : NonNegRight);  in recordAssumption()
306       assert(Side == OperandSide::Right);  in recordAssumption()