Home | History | Annotate | Download | only in Checkers

Lines Matching refs:IdempotentOperationChecker

1 //==- IdempotentOperationChecker.cpp - Idempotent Operations ----*- C++ -*-==//
69 class IdempotentOperationChecker
114 void IdempotentOperationChecker::checkPreStmt(const BinaryOperator *B,
330 void IdempotentOperationChecker::checkPostStmt(const BinaryOperator *B,
345 void IdempotentOperationChecker::checkEndAnalysis(ExplodedGraph &G,
442 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A,
470 bool IdempotentOperationChecker::isSelfAssign(const Expr *LHS, const Expr *RHS) {
494 bool IdempotentOperationChecker::isUnused(const Expr *E,
514 bool IdempotentOperationChecker::isTruncationExtensionAssignment(
539 IdempotentOperationChecker::pathWasCompletelyAnalyzed(AnalysisDeclContext *AC,
619 bool IdempotentOperationChecker::CanVary(const Expr *Ex,
690 bool IdempotentOperationChecker::isConstantOrPseudoConstant(
717 bool IdempotentOperationChecker::containsNonLocalVarDecl(const Stmt *S) {
736 mgr.registerChecker<IdempotentOperationChecker>();