Searched refs:BitwiseShiftValidator (Results 1 – 1 of 1) sorted by relevance
51 class BitwiseShiftValidator { class65 BitwiseShiftValidator(const BinaryOperator *O, CheckerContext &C, in BitwiseShiftValidator() function in __anon1c4322b80111::BitwiseShiftValidator98 void BitwiseShiftValidator::run() { in run()135 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement()164 BugReportPtr BitwiseShiftValidator::checkOvershift() { in checkOvershift()205 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) { in checkOperandNegative()227 BugReportPtr BitwiseShiftValidator::checkLeftShiftOverflow() { in checkLeftShiftOverflow()297 void BitwiseShiftValidator::recordAssumption(OperandSide Side, in recordAssumption()315 const NoteTag *BitwiseShiftValidator::createNoteTag() const { in createNoteTag()332 BitwiseShiftValidator::createBugReport(StringRef ShortMsg, StringRef Msg) const { in createBugReport()[all …]