Searched refs:operandExpr (Results 1 – 1 of 1) sorted by relevance
71 const Expr *operandExpr(OperandSide Side) const { in operandExpr() function in __anon1c4322b80111::BitwiseShiftValidator140 const SVal OperandVal = Ctx.getSVal(operandExpr(Side)); in assumeRequirement()171 const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right)); in checkOvershift()207 if (!operandExpr(Side)->getType()->isSignedIntegerType()) in checkOperandNegative()236 const Expr *LHS = operandExpr(OperandSide::Left); in checkLeftShiftOverflow()