Lines Matching defs:Side

73   const Expr *operandExpr(OperandSide Side) const {
74     return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS();
83   bool assumeRequirement(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
85   void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
91   BugReportPtr checkOperandNegative(OperandSide Side);
134 /// given Side of a bitwise shift operator in well-defined code. If the
137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side,
142   const SVal OperandVal = Ctx.getSVal(operandExpr(Side));
160       recordAssumption(Side, Comparison, Limit);
207 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) {
209   if (!operandExpr(Side)->getType()->isSignedIntegerType())
213   if (assumeRequirement(Side, BO_GE, 0))
217                                  Side == OperandSide::Left ? "Left" : "Right",
223                             Side == OperandSide::Left ? "left" : "right")
299 void BitwiseShiftValidator::recordAssumption(OperandSide Side,
305       NonNegOperands |= (Side == OperandSide::Left ? NonNegLeft : NonNegRight);
308       assert(Side == OperandSide::Right);