Lines Matching refs:BitwiseShiftValidator
53 class BitwiseShiftValidator { class
67 BitwiseShiftValidator(const BinaryOperator *O, CheckerContext &C, in BitwiseShiftValidator() function in __anonba271a6e0111::BitwiseShiftValidator
100 void BitwiseShiftValidator::run() { in run()
137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement()
166 BugReportPtr BitwiseShiftValidator::checkOvershift() { in checkOvershift()
206 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) { in checkOperandNegative()
228 BugReportPtr BitwiseShiftValidator::checkLeftShiftOverflow() { in checkLeftShiftOverflow()
298 void BitwiseShiftValidator::recordAssumption(OperandSide Side, in recordAssumption()
316 const NoteTag *BitwiseShiftValidator::createNoteTag() const { in createNoteTag()
333 BitwiseShiftValidator::createBugReport(StringRef ShortMsg, StringRef Msg) const { in createBugReport()
356 BitwiseShiftValidator(B, Ctx, BT, Pedantic).run(); in checkPreStmt()