Lines Matching defs:checker

1 //=== MallocChecker.cpp - A malloc/free checker -------------------*- C++ -*--//
19 //       Many other checkers interact very closely with this checker, in fact,
23 //       It also has a boolean "Optimistic" checker option, which if set to true
24 //       will cause the checker to model user defined memory management related
306   /// In pessimistic mode, the checker assumes that it does not know which
308   /// In optimistic mode, the checker assumes that all user-defined functions
589   ///   registered as allocated by this checker. In the following case, \c ptr
613   ///   registered as allocated by this checker. In the following case, \c ptr
691   /// not handled by this checker.
707   /// Tells if a given family/call/symbol is tracked by the current checker.
708   /// Sets CheckKind to the kind of the checker responsible for this
1363   // be true after the call if the symbol was registered by this checker.
1977   // NOTE: We detected a bug, but the checker under whose name we would emit the
3016   // Scan the BlockDecRefExprs for any object the retain count checker
3297   // but the Malloc checker cannot differentiate between them. The right way
3664   MallocChecker *checker = mgr.getChecker<MallocChecker>();
3665   checker->ChecksEnabled[MallocChecker::CK_InnerPointerChecker] = true;
3666   checker->CheckNames[MallocChecker::CK_InnerPointerChecker] =
3671   auto *checker = mgr.registerChecker<MallocChecker>();
3672   checker->ShouldIncludeOwnershipAnnotatedFunctions =
3673       mgr.getAnalyzerOptions().getCheckerBooleanOption(checker, "Optimistic");
3674   checker->ShouldRegisterNoOwnershipChangeVisitor =
3676           checker, "AddNoOwnershipChangeNotes");
3685     MallocChecker *checker = mgr.getChecker<MallocChecker>();                  \
3686     checker->ChecksEnabled[MallocChecker::CK_##name] = true;                   \
3687     checker->CheckNames[MallocChecker::CK_##name] =                            \