clang 22.0.0git
BitwiseShiftChecker Class Reference
Inheritance diagram for BitwiseShiftChecker:
[legend]

Public Member Functions

void checkPreStmt (const BinaryOperator *B, CheckerContext &Ctx) const
Public Member Functions inherited from clang::ento::CheckerBase
StringRef getDebugTag () const override
 Attached to nodes created by this checker class when the ExplodedGraph is dumped for debugging.
Public Member Functions inherited from clang::ento::CheckerFrontend
void enable (CheckerManager &Mgr)
bool isEnabled () const
CheckerNameRef getName () const
Public Member Functions inherited from clang::ento::CheckerBackend
virtual void printState (raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const
 Debug state dump callback, see CheckerManager::runCheckersForPrintState.
Public Member Functions inherited from clang::ProgramPointTag
 ProgramPointTag (void *tagKind=nullptr)
virtual ~ProgramPointTag ()
const void * getTagKind () const
 Used to implement 'isKind' in subclasses.

Public Attributes

bool Pedantic = false

Additional Inherited Members

Public Types inherited from clang::ento::Checker< check::PreStmt< BinaryOperator > >
using BlockEntrance
Static Public Member Functions inherited from clang::ento::Checker< check::PreStmt< BinaryOperator > >
static void _register (CHECKER *Chk, CheckerManager &Mgr)

Detailed Description

Definition at line 345 of file BitwiseShiftChecker.cpp.

Member Function Documentation

◆ checkPreStmt()

void BitwiseShiftChecker::checkPreStmt ( const BinaryOperator * B,
CheckerContext & Ctx ) const
inline

Definition at line 349 of file BitwiseShiftChecker.cpp.

References clang::BinaryOperator::getOpcode(), and Pedantic.

Member Data Documentation

◆ Pedantic

bool BitwiseShiftChecker::Pedantic = false

Definition at line 358 of file BitwiseShiftChecker.cpp.

Referenced by checkPreStmt().


The documentation for this class was generated from the following file: