Searched refs:operandExpr (Results 1 – 1 of 1) sorted by relevance
73 const Expr *operandExpr(OperandSide Side) const { in operandExpr() function in __anonba271a6e0111::BitwiseShiftValidator142 const SVal OperandVal = Ctx.getSVal(operandExpr(Side)); in assumeRequirement()173 const SVal Right = Ctx.getSVal(operandExpr(OperandSide::Right)); in checkOvershift()208 if (!operandExpr(Side)->getType()->isSignedIntegerType()) in checkOperandNegative()237 const Expr *LHS = operandExpr(OperandSide::Left); in checkLeftShiftOverflow()