Home
last modified time | relevance | path

Searched refs:OperandSide (Results 1 – 1 of 1) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBitwiseShiftChecker.cpp34 enum class OperandSide { Left, Right }; enum
73 const Expr *operandExpr(OperandSide Side) const { in operandExpr()
74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
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);
109 if (BugReportPtr BR = checkOperandNegative(OperandSide::Right)) { in run()
116 if (BugReportPtr BR = checkOperandNegative(OperandSide::Left)) { in run()
137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement()
170 if (assumeRequirement(OperandSide::Right, BO_LT, LHSBitWidth)) in checkOvershift()
[all …]