clang::ento::retaincountchecker::RefCountFrontend Class Reference

#include "/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h"

Inheritance diagram for clang::ento::retaincountchecker::RefCountFrontend:

Public Attributes
const RefCountBug	UseAfterRelease
const RefCountBug	ReleaseNotOwned
const RefCountBug	DeallocNotOwned
const RefCountBug	FreeNotOwned
const RefCountBug	OverAutorelease
const RefCountBug	ReturnNotOwnedForOwned
const RefCountBug	LeakWithinFunction
const RefCountBug	LeakAtReturn

Additional Inherited Members
Public Member Functions inherited from clang::ento::CheckerFrontend
void	enable (CheckerManager &Mgr)
bool	isEnabled () const
CheckerNameRef	getName () const

Detailed Description

Definition at line 38 of file RetainCountDiagnostics.h.

Member Data Documentation

DeallocNotOwned

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::DeallocNotOwned

Initial value:

{
      this, "-dealloc sent to non-exclusively owned object",
      "-dealloc sent to object that may be referenced elsewhere"}

Definition at line 47 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::errorKindToBugKind().

FreeNotOwned

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::FreeNotOwned

Initial value:

{
      this, "freeing non-exclusively owned object",
      "'free' called on an object that may be referenced elsewhere"}

Definition at line 50 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::errorKindToBugKind().

LeakAtReturn

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::LeakAtReturn

Initial value:

{this, "Leak of returned object",
                                 "", true}

Definition at line 64 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::processLeaks().

LeakWithinFunction

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::LeakWithinFunction

Initial value:

{this, "Leak", "",
                                       true}

Definition at line 62 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::processLeaks().

OverAutorelease

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::OverAutorelease

Initial value:

{this, "Object autoreleased too many times",
                                    "Object autoreleased too many times"}

Definition at line 53 of file RetainCountDiagnostics.h.

ReleaseNotOwned

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::ReleaseNotOwned

Initial value:

{
      this, "Bad release",
      "Incorrect decrement of the reference count of an object that is not "
      "owned at this point by the caller"}

Definition at line 43 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::errorKindToBugKind().

ReturnNotOwnedForOwned

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::ReturnNotOwnedForOwned

Initial value:

{
      this, "Method should return an owned object",
      "Object with a +0 retain count returned to caller where a +1 (owning) "
      "retain count is expected"}

Definition at line 55 of file RetainCountDiagnostics.h.

UseAfterRelease

const RefCountBug clang::ento::retaincountchecker::RefCountFrontend::UseAfterRelease

Initial value:

{
      this, "Use-after-release",
      "Reference-counted object is used after it is released"}

Definition at line 40 of file RetainCountDiagnostics.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::errorKindToBugKind().

---

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

• lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h