Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBitwiseShiftChecker.cpp32 enum class OperandSide { Left, Right }; enum
71 const Expr *operandExpr(OperandSide Side) const { in operandExpr()
72 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
81 bool assumeRequirement(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
83 void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
89 BugReportPtr checkOperandNegative(OperandSide Side);
107 if (BugReportPtr BR = checkOperandNegative(OperandSide::Right)) { in run()
114 if (BugReportPtr BR = checkOperandNegative(OperandSide::Left)) { in run()
135 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement()
168 if (assumeRequirement(OperandSide::Right, BO_LT, LHSBitWidth)) in checkOvershift()
[all …]