Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/RetainCountDiagnostics_8cpp_source.html below:

clang: lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp Source File

;

retaincountchecker;

;

;

;

;

;

;

;

llvm_unreachable(

);

;

;

;

;

;

;

llvm_unreachable(

);

:

(

, bugTypeToName(BT), categories::MemoryRefCount,

BT == LeakWithinFunction ||

std::string(RD->getName());

assert(!PrevV.

(CurrV) &&

);

os <<

;

os <<

;

os <<

;

os <<

;

(

Count = CurrV.

())

os <<

<< Count <<

;

os <<

;

os <<

;

os <<

;

os <<

;

std::optional<unsigned>

(

Idx = 0; Idx < (*CE)->getNumArgs(); Idx++)

(

*MR = (*CE)->getArgSVal(Idx).getAsRegion())

(

*TR = dyn_cast<TypedValueRegion>(MR))

(CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym)

(

*ME = dyn_cast<MemberExpr>(Callee)) {

(ME->getMemberDecl()->getNameAsString() !=

)

*This = ME->getBase()->IgnoreParenImpCasts();

(

*DRE = dyn_cast<DeclRefExpr>(This)) {

(

*RD = dyn_cast<CXXRecordDecl>(VD->

()))

(

*CE = dyn_cast<CallExpr>(S))

llvm::raw_string_ostream &os) {

(

*CE = dyn_cast<CallExpr>(S)) {

= CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);

FD = dyn_cast<FunctionDecl>(CE->getCalleeDecl());

(

*MD = dyn_cast<CXXMethodDecl>(CE->getCalleeDecl())) {

os <<

<< MD->getQualifiedNameAsString() <<

;

os <<

;

}

(isa<CXXNewExpr>(S)) {

os <<

;

assert(isa<ObjCMessageExpr>(S));

cast<ObjCMessageExpr>(S), CurrSt, LCtx, {

, 0});

(

->getMessageKind()) {

std::optional<CallEventRef<>> CE = Mgr.

(S, CurrSt, LCtx, {

, 0});

os <<

<< Sym->

() <<

;

os <<

<< Sym->

() <<

;

(!isa<ObjCObjectPointerType>(

)) {

os <<

;

os <<

;

os <<

;

os <<

;

*PVD = (*CE)->parameters()[*Idx];

RT = (*CE)->getResultType();

RV = (*CE)->getReturnValue();

(CurrSt->isNull(RV).isConstrainedTrue()) {

os <<

;

}

(CurrSt->isNonNull(RV).isConstrainedTrue()) {

os <<

;

retaincountchecker {

(llvm::FoldingSetNodeID &

)

{

std::shared_ptr<PathDiagnosticEventPiece>

llvm::raw_string_ostream os(sbuf);

(

I=0; I <

->getNumArgs() && I < Parameters.size(); ++I) {

(!PVD->

<OSConsumedAttr>())

(!CountBeforeCall || !CountAtExit)

CountBefore = CountBeforeCall->

();

CountAfter = CountAtExit->

();

AsExpected = CountBefore > 0 && CountAfter == CountBefore - 1;

os <<

;

os <<

<<

;

std::make_shared<PathDiagnosticEventPiece>(L, sbuf);

std::shared_ptr<PathDiagnosticEventPiece>

*VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->

());

*PVD = cast<ParmVarDecl>(VR->getDecl());

llvm::raw_string_ostream os(

);

os <<

<< PVD->getDeclName() <<

;

os <<

;

std::make_shared<PathDiagnosticEventPiece>(L,

);

&CurrV = *CurrT;

llvm::raw_string_ostream os(sbuf);

os <<

;

std::make_shared<PathDiagnosticEventPiece>(Pos, sbuf);

(isa<ObjCIvarRefExpr>(S) &&

(isa<ObjCArrayLiteral>(S)) {

os <<

;

}

(isa<ObjCDictionaryLiteral>(S)) {

os <<

;

}

(

*BL = dyn_cast<ObjCBoxedExpr>(S)) {

os <<

;

BoxClass = Method->getClassInterface();

os << *BoxClass <<

;

os <<

;

}

(isa<ObjCIvarRefExpr>(S)) {

os <<

;

std::make_shared<PathDiagnosticEventPiece>(Pos, sbuf);

DeallocSent =

;

os <<

;

(

*CE = dyn_cast<CallExpr>(S)) {

(

AI=CE->arg_begin(), AE=CE->arg_end(); AI!=AE; ++AI, ++i) {

(CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() !=

)

}

(

*ME = dyn_cast<ObjCMessageExpr>(S)) {

(

*receiver = ME->getInstanceReceiver()) {

(CurrSt->getSValAsScalarOrLoc(receiver, LCtx)

.getAsLocSymbol() ==

) {

= std::make_shared<PathDiagnosticEventPiece>(Pos, sbuf);

(

*Child : S->children())

(

*Exp = dyn_cast_or_null<Expr>(Child))

(CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() ==

) {

->addRange(Exp->getSourceRange());

std::move(

);

(

*VR = dyn_cast_or_null<VarRegion>(MR))

std::string(VR->getDecl()->getName());

: Sym(Sym), Result(ToFill) {}

(!SymV || SymV != Sym)

(isa<NonParamVarRegion>(R))

Result.emplace_back(R, Val);

VarBindingsCollector Collector{Sym,

};

AllocationInfo {

N(InN), R(InR), InterestingMethodContext(InInterestingMethodContext) {}

*AllocationNodeInCurrentOrParentContext = N;

*FirstBinding =

;

(NContext == LeakContext || NContext->

(LeakContext))

AllocationNodeInCurrentOrParentContext = N;

(!InitMethodContext)

*CE = CEP->getCallExpr();

(

*ME = dyn_cast_or_null<ObjCMessageExpr>(CE)) {

*RecExpr = ME->getInstanceReceiver();

RecV = St->getSVal(RecExpr, NContext);

InitMethodContext = CEP->getCalleeContext();

(InitMethodContext) {

InterestingMethodContext = InitMethodContext;

assert(N &&

);

(AllocationNodeInCurrentOrParentContext &&

FirstBinding =

;

AllocationInfo(AllocationNodeInCurrentOrParentContext, FirstBinding,

InterestingMethodContext);

llvm::raw_string_ostream os(sbuf);

os <<

;

std::optional<std::string> RegionDescription =

(LastBinding);

(RegionDescription) {

os <<

<< *RegionDescription <<

;

os << (isa<ObjCMethodDecl>(

) ?

:

);

(

->

<CFReturnsNotRetainedAttr>()) {

os <<

;

}

(

->

<NSReturnsNotRetainedAttr>()) {

os <<

;

}

(

->

<OSReturnsNotRetainedAttr>()) {

os <<

;

os <<

;

os <<

<< MD->getSelector().getAsString()

<<

;

os <<

<< *FD

<<

os <<

<< FuncName <<

<< StringRef(FuncName).substr(0, 3) <<

;

os <<

std::make_shared<PathDiagnosticEventPiece>(L, sbuf);

addVisitor<RefCountReportVisitor>(sym);

addVisitor<RefCountReportVisitor>(sym);

*PDecl = Region->getDecl();

(isa_and_nonnull<ParmVarDecl>(PDecl)) {

Location = ParamLocation;

AllocationInfo AllocI =

AllocNode = AllocI.N;

AllocFirstBinding = AllocI.R;

AllocFirstBinding =

;

Location = AllocLocation;

os <<

;

std::optional<std::string> RegionDescription =

(RegionDescription) {

os <<

<< *RegionDescription <<

;

(!AllocFirstBinding)

(

->getState()->getSVal(AllocFirstBinding).getAsSymbol() ==

) {

AllocBindingToReport = AllocFirstBinding;

(!AllVarBindings.empty() &&

llvm::count_if(AllVarBindings,

[

](

std::pair<const MemRegion *, SVal> Binding) {

return Binding.first == AllocFirstBinding;

AllocBindingToReport = AllVarBindings[0].first;

AllocBindingToReport, *

);

AllocBindingToReport = AllocFirstBinding;

deriveAllocLocation(Ctx);

findBindingToReport(Ctx, N);

(!AllocFirstBinding)

deriveParamLocation(Ctx);

createDescription(Ctx);

addVisitor<RefLeakReportVisitor>(

, AllocBindingToReport);

static const MemRegion * getRegion(const CallEvent &Call, const MutexDescriptor &Descriptor, bool IsLock)

static std::shared_ptr< PathDiagnosticEventPiece > annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, const SourceManager &SM)

Annotate the parameter at the analysis entry point.

static std::string getPrettyTypeName(QualType QT)

If type represents a pointer to CXXRecordDecl, and is not a typedef, return the decl name.

static bool shouldGenerateNote(llvm::raw_string_ostream &os, const RefVal *PrevT, const RefVal &CurrV, bool DeallocSent)

Write information about the type state change to os, return whether the note should be generated.

static bool isNumericLiteralExpression(const Expr *E)

static std::optional< unsigned > findArgIdxOfSymbol(ProgramStateRef CurrSt, const LocationContext *LCtx, SymbolRef &Sym, std::optional< CallEventRef<> > CE)

Finds argument index of the out paramter in the call S corresponding to the symbol Sym.

static std::shared_ptr< PathDiagnosticEventPiece > annotateConsumedSummaryMismatch(const ExplodedNode *N, CallExitBegin &CallExitLoc, const SourceManager &SM, CallEventManager &CEMgr)

Insert a diagnostic piece at function exit if a function parameter is annotated as "os_consumed",...

static std::string findAllocatedObjectName(const Stmt *S, QualType QT)

static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, const ExplodedNode *N, SymbolRef Sym)

static std::optional< std::string > describeRegion(const MemRegion *MR)

static std::optional< std::string > findMetaClassAlloc(const Expr *Callee)

static const ExplodedNode * getCalleeNode(const ExplodedNode *Pred)

Find the first node with the parent stack frame.

static void generateDiagnosticsForCallLike(ProgramStateRef CurrSt, const LocationContext *LCtx, const RefVal &CurrV, SymbolRef &Sym, const Stmt *S, llvm::raw_string_ostream &os)

static Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager, const ExplodedNode *Node, SymbolRef Sym)

__device__ __2f16 float __ockl_bool s

SourceManager & getSourceManager()

const LangOptions & getLangOpts() const

const clang::PrintingPolicy & getPrintingPolicy() const

Represents a single basic block in a source-level CFG.

A boolean literal, per ([C++ lex.bool] Boolean literals).

Represents a point when we begin processing an inlined call.

Represents a point when we start the call exit sequence (for inlined call).

CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).

Decl - This represents one declaration (or definition), e.g.

ASTContext & getASTContext() const LLVM_READONLY

DeclContext * getDeclContext()

This represents one expression.

Represents a function declaration or definition.

Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

bool isParentOf(const LocationContext *LC) const

const Decl * getDecl() const

const LocationContext * getParent() const

It might return null.

const StackFrameContext * getStackFrame() const

std::string getQualifiedNameAsString() const

std::string getNameAsString() const

Get a human-readable name for the declaration, even if it is one of the special kinds of names (C++ c...

virtual void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const

Appends a human-readable name for this declaration into the given stream.

ObjCBoolLiteralExpr - Objective-C Boolean Literal.

ObjCBoxedExpr - used for generalized expression boxing.

Represents an ObjC class declaration.

An expression that sends a message to the given Objective-C object or class.

ObjCMethodDecl - Represents an instance or class method declaration.

Represents a pointer to an Objective C object.

QualType getPointeeType() const

Gets the type pointed to by this ObjC pointer.

Represents a parameter to a function.

ProgramPoints can be "tagged" as representing points specific to a given analysis entity.

const ProgramPointTag * getTag() const

T castAs() const

Convert to the specified ProgramPoint type, asserting that this ProgramPoint is of the desired type.

std::optional< T > getAs() const

Convert to the specified ProgramPoint type, returning std::nullopt if this ProgramPoint is not of the...

A (possibly-)qualified type.

bool isNull() const

Return true if this QualType doesn't point to a type yet.

static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)

This class handles loading and caching of source files into memory.

It represents a stack frame of the call stack (based on CallEvent).

const Stmt * getCallSite() const

bool inTopFrame() const override

Stmt - This represents one statement.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

const T * getAs() const

Member-template getAs<specific type>'.

Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...

const BugType & getBugType() const

ASTContext & getASTContext() const

ProgramStateManager & getStateManager() const

const SourceManager & getSourceManager() const

BugReporterVisitors are used to add custom diagnostics along a path.

static PathDiagnosticPieceRef getDefaultEndPath(const BugReporterContext &BRC, const ExplodedNode *N, const PathSensitiveBugReport &BR)

Generates the default final diagnostic piece.

Manages the lifetime of CallEvent objects.

CallEventRef getCall(const Stmt *S, ProgramStateRef State, const LocationContext *LC, CFGBlock::ConstCFGElementRef ElemRef)

Gets a call event for a function call, Objective-C method call, a 'new', or a 'delete' call.

CallEventRef< ObjCMethodCall > getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

CallEventRef getCaller(const StackFrameContext *CalleeCtx, ProgramStateRef State)

Gets an outside caller given a callee context.

This wrapper is used to ensure that only StringRefs originating from the CheckerRegistry are used as ...

const ProgramStateRef & getState() const

const Stmt * getStmtForDiagnostics() const

If the node's program point corresponds to a statement, retrieve that statement.

ProgramPoint getLocation() const

getLocation - Returns the edge associated with the given node.

const StackFrameContext * getStackFrame() const

const LocationContext * getLocationContext() const

std::optional< T > getLocationAs() const &

ExplodedNode * getFirstPred()

const Decl & getCodeDecl() const

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion * getMemorySpace() const

static PathDiagnosticLocation createBegin(const Decl *D, const SourceManager &SM)

Create a location for the beginning of the declaration.

static PathDiagnosticLocation create(const Decl *D, const SourceManager &SM)

Create a location corresponding to the given declaration.

void markInteresting(SymbolRef sym, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough)

Marks a symbol as interesting.

PathDiagnosticLocation UniqueingLocation

Reports with different uniqueing locations are considered to be different for the purposes of dedupli...

const ExplodedNode * getErrorNode() const

const Decl * UniqueingDecl

CallEventManager & getCallEventManager()

void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler &F)

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

SymbolRef getAsSymbol(bool IncludeBaseRegions=false) const

If this SVal wraps a symbol return that SymbolRef.

SymbolRef getAsLocSymbol(bool IncludeBaseRegions=false) const

If this SVal is a location and wraps a symbol, return that SymbolRef.

const MemRegion * getRegion()

virtual const MemRegion * getOriginRegion() const

Find the region from which this symbol originates.

virtual QualType getType() const =0

RefCountBug(CheckerNameRef Checker, RefCountBugKind BT)

StringRef getDescription() const

RefCountBugKind getBugType() const

void Profile(llvm::FoldingSetNodeID &ID) const override

PathDiagnosticPieceRef VisitNode(const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &BR) override

Return a diagnostic piece which should be associated with the given node.

PathDiagnosticPieceRef getEndPath(BugReporterContext &BRC, const ExplodedNode *N, PathSensitiveBugReport &BR) override

Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed ...

RefCountReportVisitor(SymbolRef sym)

RefCountReport(const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n, SymbolRef sym, bool isLeak=false)

RefLeakReportVisitor(SymbolRef Sym, const MemRegion *LastBinding)

PathDiagnosticPieceRef getEndPath(BugReporterContext &BRC, const ExplodedNode *N, PathSensitiveBugReport &BR) override

Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed ...

RefLeakReport(const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n, SymbolRef sym, CheckerContext &Ctx)

unsigned getCount() const

unsigned getCombinedCounts() const

@ ReleasedAfterDirectAccess

IvarAccessHistory getIvarAccessHistory() const

Returns what the analyzer knows about direct accesses to a particular instance variable.

unsigned getAutoreleaseCount() const

bool hasSameState(const RefVal &X) const

ObjKind getObjKind() const

static const CheckerProgramPointTag & getCastFailTag()

static const CheckerProgramPointTag & getDeallocSentTag()

void trackStoredValue(SVal V, const MemRegion *R, PathSensitiveBugReport &Report, TrackingOptions Opts={}, const StackFrameContext *Origin=nullptr)

Track how the value got stored into the given region and where it came from.

const RefVal * getRefBinding(ProgramStateRef State, SymbolRef Sym)

bool isSynthesizedAccessor(const StackFrameContext *SFC)

Returns true if this stack frame is for an Objective-C method that is a property getter or setter who...

ObjKind

Determines the object kind of a tracked object.

@ OS

Indicates that the tracking object is a descendant of a referenced-counted OSObject,...

@ Generalized

Indicates that the tracked object is a generalized object.

@ CF

Indicates that the tracked object is a CF object.

@ ObjC

Indicates that the tracked object is an Objective-C object.

const void * Store

Store - This opaque type encapsulates an immutable mapping from locations to values.

std::shared_ptr< PathDiagnosticPiece > PathDiagnosticPieceRef

The JSON file list parser is used to communicate input to InstallAPI.

bool isa(CodeGen::Address addr)

@ Result

The result type of a method or function.

const FunctionProtoType * T

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4