Lines Matching defs:BitwiseShiftValidator

53 class BitwiseShiftValidator {
67   BitwiseShiftValidator(const BinaryOperator *O, CheckerContext &C,
100 void BitwiseShiftValidator::run() {
137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side,
166 BugReportPtr BitwiseShiftValidator::checkOvershift() {
207 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) {
229 BugReportPtr BitwiseShiftValidator::checkLeftShiftOverflow() {
299 void BitwiseShiftValidator::recordAssumption(OperandSide Side,
317 const NoteTag *BitwiseShiftValidator::createNoteTag() const {
334 BitwiseShiftValidator::createBugReport(StringRef ShortMsg, StringRef Msg) const {
357     BitwiseShiftValidator(B, Ctx, BT, Pedantic).run();