Searched refs:OperandSide (Results 1 – 1 of 1) sorted by relevance
34 enum class OperandSide { Left, Right }; enum73 const Expr *operandExpr(OperandSide Side) const { in operandExpr()74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()91 BugReportPtr checkOperandNegative(OperandSide Side);109 if (BugReportPtr BR = checkOperandNegative(OperandSide::Right)) { in run()137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement()170 if (assumeRequirement(OperandSide::Right, BO_LT, LHSBitWidth)) in checkOvershift()173 const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right)); in checkOvershift()237 const Expr *LHS = operandExpr(OperandSide::Left); in checkLeftShiftOverflow()298 void BitwiseShiftValidator::recordAssumption(OperandSide Side, in recordAssumption()[all …]