Searched refs:BitwiseShiftValidator (Results 1 – 1 of 1) sorted by relevance
53 class BitwiseShiftValidator { class67 BitwiseShiftValidator(const BinaryOperator *O, CheckerContext &C, in BitwiseShiftValidator() function in __anon3d1ad38a0111::BitwiseShiftValidator100 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()[all …]