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

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

clang: lib/StaticAnalyzer/Core/CallEvent.cpp Source File

;

(

*I : RD->

()) {

I !=

&& Idx < NumOfArgs; ++I, ++Idx) {

*FD = dyn_cast_or_null<FunctionDecl>(

());

Idx = 0, Sz = B->

();

(; Idx < Sz; ++Idx)

(

StmtElem = (*B)[Idx].getAs<CFGStmt>())

(StmtElem->getStmt() ==

)

State->getStateManager().getRegionManager().getParamVarRegion(

=

.param_type_end();

I !=

; ++I, ++Idx) {

PreserveArgs.insert(Idx);

(callee->hasAttr<PureAttr>() || callee->hasAttr<ConstAttr>())

llvm::SmallSet<unsigned, 4> PreserveArgs;

(

Idx = 0, Count =

(); Idx != Count; ++Idx) {

(PreserveArgs.count(Idx))

ETraits.

(MR->getBaseRegion(),

ValuesToInvalidate.push_back(

(Idx));

,

, &ETraits);

assert(

&&

);

assert(ElemRef.getParent() &&

);

isa<CallExpr, ObjCMessageExpr, CXXConstructExpr, CXXNewExpr>(S);

(

*FD = dyn_cast<FunctionDecl>(

))

FD->getReturnType();

(

*MD = dyn_cast<ObjCMethodDecl>(

))

MD->getReturnType();

(

*BD = dyn_cast<BlockDecl>(

)) {

Ty = FT->getReturnType();

llvm_unreachable(

);

(

*FD = dyn_cast<FunctionDecl>(

))

FD->isVariadic();

(

*MD = dyn_cast<ObjCMethodDecl>(

))

MD->isVariadic();

(

*BD = dyn_cast<BlockDecl>(

))

BD->isVariadic();

llvm_unreachable(

);

*CallExprDecl = dyn_cast_or_null<FunctionDecl>(

.getDecl());

(CallExprDecl->hasPrototype() || !

->hasPrototype())

*ArgExpr =

.getArgExpr(ArgIdx);

NumArgs =

.getNumArgs();

(; I !=

&& Idx < NumArgs; ++I, ++Idx) {

assert(*I &&

);

(

.isArgumentConstructedDirectly(

.getASTArgumentIndex(Idx)))

ArgVal =

.getArgSVal(Idx);

*ArgExpr =

.getArgExpr(Idx);

Ctor->getConstructionContext();

RecCall->getConstructionContext();

(!CallLocationContext || CallLocationContext->inTopFrame())

*CallStackFrameContext = CallLocationContext->getStackFrame();

(!CallStackFrameContext)

CEMgr.

(CallStackFrameContext, State);

Caller->isInSystemHeader();

->parameters();

getManager()->getContext(FD);

IsAutosynthesized;

(IsAutosynthesized)

llvm::dbgs() <<

<< FD->

()

*Engine.getCrossTranslationUnitContext();

(!Opts.IsNaiveCTUEnabled)

Opts.DisplayCTUProgress);

(!CTUDeclOrError) {

handleAllErrors(CTUDeclOrError.takeError(),

CTUCtx.emitCrossTUDiagnostics(IE);

*

= cast<FunctionDecl>(CalleeCtx->

());

(II->

(

))

(II->

(

))

(II->

(

))

(II->

(

))

StringRef FName = II->

();

(FName.ends_with(

))

(FName.starts_with(

) && FName.contains(

))

(FName.starts_with(

) || FName.starts_with(

)) {

StrInStrNoCase(FName,

) != StringRef::npos ||

StrInStrNoCase(FName,

) != StringRef::npos ||

StrInStrNoCase(FName,

) != StringRef::npos ||

StrInStrNoCase(FName,

) != StringRef::npos ||

StrInStrNoCase(FName,

) != StringRef::npos ||

StrInStrNoCase(FName,

) != StringRef::npos;

Values.push_back(ThisVal);

(

*

= cast_or_null<CXXMethodDecl>(

())) {

(isa<NonLoc>(ThisVal)) {

SVB.

(ThisVal,

->getType(), OriginalTy);

std::pair<const CXXRecordDecl *, bool>

*MD = cast<CXXMethodDecl>(

);

(!MD->isVirtual())

(!RD || !RD->hasDefinition())

assert(!RD->isDerivedFrom(MD->getParent()) &&

);

*MD = cast<CXXMethodDecl>(CalleeCtx->

());

std::optional<SVal>

=

ThisVal = SVB.

(ThisVal, Ty, StaticTy);

.push_back(std::make_pair(ThisLoc, ThisVal));

(

*ME = dyn_cast<MemberExpr>(

()->getCallee()))

(ME->hasQualifier())

dyn_cast_or_null<BlockDataRegion>(DataReg);

->parameters();

*LambdaOperatorDecl = cast<CXXMethodDecl>(CalleeCtx->

());

Params = LambdaOperatorDecl->parameters();

ThisLoc = SVB.

(LambdaOperatorDecl, CalleeCtx);

.push_back(std::make_pair(ThisLoc, ThisVal));

Params = cast<BlockDecl>(CalleeCtx->

())->parameters();

(

*Obj =

.getAsRegion(); Obj && IsStdClassCtor) {

Values.push_back(

);

*MD = cast<CXXMethodDecl>(CalleeCtx->

());

.push_back(std::make_pair(ThisLoc, ThisVal));

(isa<CXXInheritedCtorInitExpr>(SFC->

()))

->parameters();

(

*PropIvar = PropDecl->getPropertyIvarDecl()) {

Values.push_back(IvarLVal);

assert(SelfVal.

() &&

);

(RecVal == SelfVal);

llvm_unreachable(

);

*ObjCMethodCall::getContainingPseudoObjectExpr()

{

assert(

&&

);

ObjCMessageDataTy::getFromOpaqueValue(

).getPointer();

(

*BO = dyn_cast<BinaryOperator>(Syntactic))

(

*POE = dyn_cast_or_null<PseudoObjectExpr>(S)) {

Stmt::ObjCPropertyRefExprClass:

Stmt::ObjCSubscriptRefExprClass:

(!Info.getPointer())

assert(POE &&

);

*RefExpr = cast<ObjCPropertyRefExpr>(Syntactic);

(RefExpr->isExplicitProperty())

RefExpr->getExplicitProperty();

()->getStateManager().getOwningEngine().getAnalysisManager();

(

->isOverriding()) {

IDecl =

->getClassInterface();

llvm_unreachable(

);

(

*I : MD->

())

MD = cast<ObjCMethodDecl>(I);

{InterfaceInfo::getEmptyKey(), SelectorInfo::getEmptyKey(),

};

{InterfaceInfo::getTombstoneKey(), SelectorInfo::getTombstoneKey(),

llvm::hash_combine(

llvm::hash_code(InterfaceInfo::getHashValue(Key.

)),

llvm::hash_code(SelectorInfo::getHashValue(Key.

)),

LookupSelector,

InstanceMethod) {

PrivateMethodCache =

llvm::DenseMap<PrivateMethodKey, std::optional<const ObjCMethodDecl *>>;

PrivateMethodCache PMC;

std::optional<const ObjCMethodDecl *> &Val =

PMC[{

, LookupSelector, InstanceMethod}];

Val =

->lookupPrivateMethod(LookupSelector, InstanceMethod);

Val =

->lookupMethod(LookupSelector, InstanceMethod);

(

->isInstanceMessage()) {

CanBeSubClassed =

;

LookingForInstanceMethod =

;

SupersType =

->getSuperType();

(!SupersType.

()) {

ReceiverT = cast<ObjCObjectPointerType>(SupersType)->getObjectType();

assert(isa<AllocaRegion>(Receiver) &&

);

*ReceiverDynT =

ReceiverT = ReceiverDynT->getObjectType();

LookingForInstanceMethod =

;

(CanBeSubClassed)

(CanBeSubClassed)

*

= cast<ObjCMethodDecl>(CalleeCtx->

());

.push_back(std::make_pair(SelfLoc, SelfVal));

(

*MCE = dyn_cast<CXXMemberCallExpr>(CE))

create<CXXMemberCall>(MCE, State, LCtx, ElemRef);

(

*OpCE = dyn_cast<CXXOperatorCallExpr>(CE)) {

*DirectCallee = OpCE->getDirectCallee();

(

*MD = dyn_cast<CXXMethodDecl>(DirectCallee)) {

(MD->isImplicitObjectMemberFunction())

create<CXXMemberOperatorCall>(OpCE, State, LCtx, ElemRef);

create<CXXStaticOperatorCall>(OpCE, State, LCtx, ElemRef);

create<BlockCall>(CE, State, LCtx, ElemRef);

create<SimpleFunctionCall>(CE, State, LCtx, ElemRef);

assert(CallerCtx &&

);

&SVB = State->getStateManager().getSValBuilder();

*Ctor = cast<CXXMethodDecl>(CalleeCtx->

());

ThisVal = State->getSVal(ThisPtr);

(

*CE = dyn_cast<CXXConstructExpr>(CallSite))

(

*CIE = dyn_cast<CXXInheritedCtorInitExpr>(CallSite))

CallerCtx, ElemRef);

llvm_unreachable(

);

);

&SVB = State->getStateManager().getSValBuilder();

*Dtor = cast<CXXDestructorDecl>(CalleeCtx->

());

ThisVal = State->getSVal(ThisPtr);

*Trigger;

(std::optional<CFGAutomaticObjDtor> AutoDtor =

Trigger = AutoDtor->getTriggerStmt();

(std::optional<CFGDeleteDtor> DeleteDtor =

.getAs<

>())

Trigger = DeleteDtor->getDeleteExpr();

Trigger = Dtor->getBody();

CallerCtx, ElemRef);

(

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

}

(

*NE = dyn_cast<CXXNewExpr>(S)) {

}

(

*DE = dyn_cast<CXXDeleteExpr>(S)) {

}

(

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

Defines the clang::ASTContext interface.

This file defines AnalysisDeclContext, a class that manages the analysis context data for context sen...

static bool isZeroConstant(const llvm::Value *Value)

static bool isVoidPointerToNonConst(QualType T)

static const ObjCMethodDecl * findDefiningRedecl(const ObjCMethodDecl *MD)

static const ObjCMethodDecl * lookupRuntimeDefinition(const ObjCInterfaceDecl *Interface, Selector LookupSelector, bool InstanceMethod)

static void addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef< ParmVarDecl * > parameters)

static const Expr * getSyntacticFromForPseudoObjectExpr(const PseudoObjectExpr *POE)

static bool isTransparentUnion(QualType T)

llvm::PointerIntPair< const PseudoObjectExpr *, 2 > ObjCMessageDataTy

static bool isCallback(QualType T)

static SVal castArgToParamTypeIfNeeded(const CallEvent &Call, unsigned ArgIdx, SVal ArgVal, SValBuilder &SVB)

Cast the argument value to the type of the parameter at the function declaration.

static SVal processArgument(SVal Value, const Expr *ArgumentExpr, const ParmVarDecl *Parameter, SValBuilder &SVB)

static void findPtrToConstParams(llvm::SmallSet< unsigned, 4 > &PreserveArgs, const CallEvent &Call)

Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....

Defines the clang::Expr interface and subclasses for C++ expressions.

Defines the clang::IdentifierInfo, clang::IdentifierTable, and clang::Selector interfaces.

static const Decl * getCanonicalDecl(const Decl *D)

Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.

Defines the clang::SourceLocation class and associated facilities.

Defines the SourceManager interface.

Defines various enumerations that describe declaration and type specifiers.

C Language Family Type Representation.

static bool isPointerToConst(const QualType &QT)

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

QualType getRecordType(const RecordDecl *Decl) const

QualType getPointerType(QualType T) const

Return the uniqued reference to the type for a pointer to the specified type.

QualType getReferenceQualifiedType(const Expr *e) const

getReferenceQualifiedType - Given an expr, will return the type for that expression,...

const clang::PrintingPolicy & getPrintingPolicy() const

AnalysisDeclContext * getContext(const Decl *D)

const StackFrameContext * getStackFrame(const Decl *D)

Obtain the beginning context of the analysis.

AnalysisDeclContext contains the context data for the function, method or block under analysis.

CFGStmtMap * getCFGStmtMap()

const Decl * getDecl() const

const ImplicitParamDecl * getSelfDecl() const

AnalysisDeclContextManager * getManager() const

Stores options for the analyzer from the command line.

Represents a block literal declaration, which is like an unnamed FunctionDecl.

Represents C++ object destructor implicitly generated for automatic object or temporary bound to cons...

Represents C++ object destructor implicitly generated for base object in destructor.

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

ElementRefImpl< true > ConstCFGElementRef

Represents a function call that returns a C++ object by value.

Represents C++ constructor call.

Represents C++ object destructor generated from a call to delete.

Represents a top-level expression in a basic block.

std::optional< T > getAs() const

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

Represents C++ object destructor implicitly generated by compiler on various occasions.

CFGBlock * getBlock(Stmt *S)

Returns the CFGBlock the specified Stmt* appears in.

Represents C++ object destructor implicitly generated at the end of full expression for temporary obj...

Expr * getImplicitObjectArgument() const

Retrieve the implicit object argument for the member call.

Represents a static or instance method of a struct/union/class.

const CXXRecordDecl * getParent() const

Return the parent of this method declaration, which is the class in which this method is defined.

Represents a C++ struct/union/class.

bool hasMutableFields() const

Determine whether this class, or any of its class subobjects, contains a mutable field.

bool hasDefinition() const

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

Expr * getArg(unsigned Arg)

getArg - Return the specified argument.

FunctionDecl * getDirectCallee()

If the callee is a FunctionDecl, return it. Otherwise return null.

ConstructionContext's subclasses describe different ways of constructing an object in C++.

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

SourceLocation getLocation() const

redecl_range redecls() const

Returns an iterator range for all the redeclarations of the same decl.

void print(raw_ostream &Out, unsigned Indentation=0, bool PrintInstantiation=false) const

This represents one expression.

Expr * IgnoreParens() LLVM_READONLY

Skip past any parentheses which might surround this expression until reaching a fixed point.

Represents a function declaration or definition.

FunctionType - C99 6.7.5.3 - Function Declarators.

One of these records is kept for each identifier that is lexed.

bool isStr(const char(&Str)[StrLen]) const

Return true if this is the identifier for the specified string.

StringRef getName() const

Return the actual identifier string.

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

const Decl * getDecl() const

const ParentMap & getParentMap() const

LLVM_ATTRIBUTE_RETURNS_NONNULL AnalysisDeclContext * getAnalysisDeclContext() const

const LocationContext * getParent() const

It might return null.

const StackFrameContext * getStackFrame() const

StringRef getName() const

Get the name of identifier for this declaration as a StringRef.

Represents an ObjC class declaration.

ObjCMethodDecl * lookupMethod(Selector Sel, bool isInstance, bool shallowCategoryLookup=false, bool followSuper=true, const ObjCCategoryDecl *C=nullptr) const

lookupMethod - This method returns an instance/class method by looking in the class,...

SourceLocation getEndOfDefinitionLoc() const

ObjCInterfaceDecl * getSuperClass() const

ObjCIvarDecl - Represents an ObjC instance variable.

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

@ SuperInstance

The receiver is the instance of the superclass object.

@ SuperClass

The receiver is a superclass.

ObjCMethodDecl - Represents an instance or class method declaration.

bool hasBody() const override

Determine whether this method has a body.

bool isPropertyAccessor() const

const ObjCPropertyDecl * findPropertyDecl(bool CheckOverrides=true) const

Returns the property associated with this method's selector.

ObjCMethodDecl * getCanonicalDecl() override

Retrieves the "canonical" declaration of the given declaration.

Represents a class type in Objective C.

ObjCInterfaceDecl * getInterface() const

Gets the interface declaration for this object type, if the base type really is an interface.

Represents one property declaration in an Objective-C interface.

Stmt * getParentIgnoreParenCasts(Stmt *) const

Represents a parameter to a function.

PointerType - C99 6.7.5.1 - Pointer Declarators.

Represents a program point just after an implicit call event.

Represents a program point just before an implicit call event.

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

PseudoObjectExpr - An expression which accesses a pseudo-object l-value.

Expr * getSyntacticForm()

Return the syntactic form of this expression, i.e.

A (possibly-)qualified type.

bool isNull() const

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

QualType getCanonicalType() const

bool isConstQualified() const

Determine whether this type is const-qualified.

Represents a struct/union/class.

field_range fields() const

A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...

RecordDecl * getDecl() const

Smart pointer class that efficiently represents Objective-C method names.

const IdentifierInfo * getIdentifierInfoForSlot(unsigned argIndex) const

Retrieve the identifier at a given position in the selector.

unsigned getNumArgs() const

Encodes a location in the source.

bool isValid() const

Return true if this is a valid SourceLocation object.

A trivial tuple used to represent a source range.

SourceLocation getBegin() const

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

unsigned getIndex() const

CFGElement getCallSiteCFGElement() const

const Stmt * getCallSite() const

const CFGBlock * getCallSiteBlock() const

Stmt - This represents one statement.

void printPretty(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const

StmtClass getStmtClass() const

SourceRange getSourceRange() const LLVM_READONLY

SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...

A container of type source information.

bool isBlockPointerType() const

const RecordType * getAsUnionType() const

NOTE: getAs*ArrayType are methods on ASTContext.

bool isFunctionPointerType() const

bool isObjCSelType() const

bool isReferenceType() const

const CXXRecordDecl * getPointeeCXXRecordDecl() const

If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

QualType getPointeeType() const

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

bool isDependentType() const

Whether this type is a dependent type, meaning that its definition somehow depends on a template para...

const RecordType * getAsStructureType() const

bool isAnyPointerType() const

const T * getAs() const

Member-template getAs<specific type>'.

Represents a variable declaration or definition.

This class is used for tools that requires cross translation unit capability.

llvm::Expected< const FunctionDecl * > getCrossTUDefinition(const FunctionDecl *FD, StringRef CrossTUDir, StringRef IndexName, bool DisplayCTUProgress=false)

This function loads a function or variable definition from an external AST file and merges it into th...

bool hasError(const Decl *ToDecl) const

Returns true if the given Decl is mapped (or created) during an import but there was an unrecoverable...

bool isImportedAsNew(const Decl *ToDecl) const

Returns true if the given Decl is newly created during the import.

static bool isInCodeFile(SourceLocation SL, const SourceManager &SM)

void getInitialStackFrameContents(const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this ca...

void getExtraInvalidatedValues(ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override

Used to specify non-argument regions that will be invalidated as a result of this call.

SVal getCXXThisVal() const

Returns the value of the implicit 'this' object.

const FunctionDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

ArrayRef< ParmVarDecl * > parameters() const override

Return call's formal parameters.

void getInitialStackFrameContents(const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this ca...

bool argumentsMayEscape() const override

Returns true if any of the arguments are known to escape to long- term storage, even if this method w...

RuntimeDefinition getRuntimeDefinition() const override

Returns the definition of the function or method that will be called.

llvm::ImmutableList< SVal > getEmptySValList()

llvm::ImmutableList< SVal > prependSVal(SVal X, llvm::ImmutableList< SVal > L)

const BlockDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

const BlockDataRegion * getBlockRegion() const

Returns the region associated with this instance of the block.

bool isConversionFromLambda() const

ArrayRef< ParmVarDecl * > parameters() const override

Return call's formal parameters.

void getExtraInvalidatedValues(ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override

Used to specify non-argument regions that will be invalidated as a result of this call.

const VarRegion * getRegionStoringCapturedLambda() const

For a block converted from a C++ lambda, returns the block VarRegion for the variable holding the cap...

void getInitialStackFrameContents(const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this ca...

const CallExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

BlockDataRegion - A region that represents a block instance.

SVal getCXXThisVal() const override

Returns the value of the implicit 'this' object.

RuntimeDefinition getRuntimeDefinition() const override

Returns the definition of the function or method that will be called.

bool isBaseDestructor() const

Returns true if this is a call to a base class destructor.

const StackFrameContext * getInheritingStackFrame() const

Obtain the stack frame of the inheriting constructor.

std::pair< const CXXRecordDecl *, bool > getDeclForDynamicType() const

Returns the decl refered to by the "dynamic type" of the current object and if the class can be a sub...

void getExtraInvalidatedValues(ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override

Used to specify non-argument regions that will be invalidated as a result of this call.

virtual SVal getCXXThisVal() const

Returns the value of the implicit 'this' object.

RuntimeDefinition getRuntimeDefinition() const override

Returns the definition of the function or method that will be called.

virtual const Expr * getCXXThisExpr() const

Returns the expression representing the implicit 'this' object.

const FunctionDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

void getInitialStackFrameContents(const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this ca...

const CXXMemberCallExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

const Expr * getCXXThisExpr() const override

Returns the expression representing the implicit 'this' object.

RuntimeDefinition getRuntimeDefinition() const override

Returns the definition of the function or method that will be called.

const Expr * getCXXThisExpr() const override

Returns the expression representing the implicit 'this' object.

const CXXOperatorCallExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

Manages the lifetime of CallEvent objects.

CallEventRef< CXXDestructorCall > getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

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< CXXDeallocatorCall > getCXXDeallocatorCall(const CXXDeleteExpr *E, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

CallEventRef getSimpleCall(const CallExpr *E, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

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

CallEventRef< CXXAllocatorCall > getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

CallEventRef< CXXConstructorCall > getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

CallEventRef< CXXInheritedConstructorCall > getCXXInheritedConstructorCall(const CXXInheritedCtorInitExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx, CFGBlock::ConstCFGElementRef ElemRef)

CallEventRef getCaller(const StackFrameContext *CalleeCtx, ProgramStateRef State)

Gets an outside caller given a callee context.

Represents an abstract call to a function or method along a particular path.

virtual SourceRange getArgSourceRange(unsigned Index) const

Returns the source range for errors associated with this argument.

virtual void getExtraInvalidatedValues(ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const

Used to specify non-argument regions that will be invalidated as a result of this call.

virtual StringRef getKindAsString() const =0

virtual const Expr * getOriginExpr() const

Returns the expression whose value will be the result of this call.

static bool isCallStmt(const Stmt *S)

Returns true if this is a statement is a function or method call of some kind.

llvm::mapped_iterator< ArrayRef< ParmVarDecl * >::iterator, GetTypeFn > param_type_iterator

const ConstructionContext * getConstructionContext() const

Returns the construction context of the call, if it is a C++ constructor call or a call of a function...

param_type_iterator param_type_end() const

const ParamVarRegion * getParameterLocation(unsigned Index, unsigned BlockCount) const

Returns memory location for a parameter variable within the callee stack frame.

bool isCalledFromSystemHeader() const

AnalysisDeclContext * getCalleeAnalysisDeclContext() const

Returns AnalysisDeclContext for the callee stack frame.

ProgramStateRef invalidateRegions(unsigned BlockCount, ProgramStateRef Orig=nullptr) const

Returns a new state with all argument regions invalidated.

virtual std::optional< unsigned > getAdjustedParameterIndex(unsigned ASTArgumentIndex) const

Some calls have parameter numbering mismatched from argument numbering.

const ProgramStateRef & getState() const

The state in which the call is being evaluated.

QualType getResultType() const

Returns the result type, adjusted for references.

bool isInSystemHeader() const

Returns true if the callee is known to be from a system header.

bool isGlobalCFunction(StringRef SpecificName=StringRef()) const

Returns true if the callee is an externally-visible function in the top-level namespace,...

virtual bool argumentsMayEscape() const

Returns true if any of the arguments are known to escape to long- term storage, even if this method w...

param_type_iterator param_type_begin() const

Returns an iterator over the types of the call's formal parameters.

ProgramPoint getProgramPoint(bool IsPreVisit=false, const ProgramPointTag *Tag=nullptr) const

Returns an appropriate ProgramPoint for this call.

const StackFrameContext * getCalleeStackFrame(unsigned BlockCount) const

Returns the callee stack frame.

static QualType getDeclaredResultType(const Decl *D)

Returns the result type of a function or method declaration.

SVal getSVal(const Stmt *S) const

Get the value of arbitrary expressions at this point in the path.

static bool isVariadic(const Decl *D)

Returns true if the given decl is known to be variadic.

virtual SVal getArgSVal(unsigned Index) const

Returns the value of a given argument at the time of the call.

bool hasNonNullArgumentsWithType(bool(*Condition)(QualType)) const

Returns true if the type of any of the non-null arguments satisfies the condition.

std::optional< SVal > getReturnValueUnderConstruction() const

If the call returns a C++ record type then the region of its return value can be retrieved from its c...

virtual const Expr * getArgExpr(unsigned Index) const

Returns the expression associated with a given argument.

virtual unsigned getNumArgs() const =0

Returns the number of arguments (explicit and implicit).

bool hasVoidPointerToNonConstArg() const

Returns true if any of the arguments is void*.

const CallEventRef getCaller() const

bool isArgumentConstructedDirectly(unsigned Index) const

Returns true if on the current path, the argument was constructed by calling a C++ constructor over i...

SVal getReturnValue() const

Returns the return value of the call.

virtual const Decl * getDecl() const

Returns the declaration of the function or method that will be called.

const LocationContext * getLocationContext() const

The context in which the call is being evaluated.

bool hasNonZeroCallbackArg() const

Returns true if any of the arguments appear to represent callbacks.

virtual Kind getKind() const =0

Returns the kind of call this is.

virtual SourceRange getSourceRange() const

Returns a source range for the entire call, suitable for outputting in diagnostics.

static bool isCLibraryFunction(const FunctionDecl *FD, StringRef Name=StringRef())

Returns true if the given function is an externally-visible function in the top-level namespace,...

Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...

bool canBeASubClass() const

Returns false if the type information is precise (the type 'DynTy' is the only type in the lattice),...

QualType getType() const

Returns the currently inferred upper bound on the runtime type.

bool isValid() const

Returns true if the dynamic type info is available.

SVal computeObjectUnderConstruction(const Expr *E, ProgramStateRef State, const NodeBuilderContext *BldrCtx, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts, unsigned Idx=0)

Find location of the object that is being constructed by a given constructor.

const NodeBuilderContext & getBuilderContext()

const VarRegion * getVarRegion(const VarDecl *VD, const LocationContext *LC)

getVarRegion - Retrieve or create the memory region associated with a specified VarDecl and LocationC...

const ParamVarRegion * getParamVarRegion(const Expr *OriginExpr, unsigned Index, const LocationContext *LC)

getParamVarRegion - Retrieve or create the memory region associated with a specified CallExpr,...

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getBaseRegion() const

Represents any expression that calls an Objective-C method.

const ObjCMethodDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

void getExtraInvalidatedValues(ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override

Used to specify non-argument regions that will be invalidated as a result of this call.

bool isInstanceMessage() const

ObjCMessageKind getMessageKind() const

Returns how the message was written in the source (property access, subscript, or explicit message se...

const ObjCMessageExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

ArrayRef< ParmVarDecl * > parameters() const override

Return call's formal parameters.

SourceRange getSourceRange() const override

Returns a source range for the entire call, suitable for outputting in diagnostics.

virtual bool canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl, Selector Sel) const

Check if the selector may have multiple definitions (may have overrides).

bool argumentsMayEscape() const override

Returns true if any of the arguments are known to escape to long- term storage, even if this method w...

SVal getReceiverSVal() const

Returns the value of the receiver at the time of this call.

RuntimeDefinition getRuntimeDefinition() const override

Returns the definition of the function or method that will be called.

bool isReceiverSelfOrSuper() const

Checks if the receiver refers to 'self' or 'super'.

Selector getSelector() const

const ObjCPropertyDecl * getAccessedProperty() const

void getInitialStackFrameContents(const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this ca...

ParamVarRegion - Represents a region for paremters.

SValBuilder & getSValBuilder()

StoreManager & getStoreManager()

Information about invalidation for a particular region/symbol.

@ TK_PreserveContents

Tells that a region's contents is not changed.

@ TK_DoNotInvalidateSuperRegion

@ TK_SuppressEscape

Suppress pointer-escaping of a region.

void setTrait(SymbolRef Sym, InvalidationKinds IK)

Defines the runtime definition of the called function.

BasicValueFactory & getBasicValueFactory()

NonLoc makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals)

MemRegionManager & getRegionManager()

ASTContext & getContext()

loc::MemRegionVal makeLoc(SymbolRef sym)

SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy)

Cast a given SVal to another SVal using given QualType's.

loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, const StackFrameContext *SFC)

Return a memory region for the 'this' object reference.

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

bool isUnknownOrUndef() const

const FunctionDecl * getAsFunctionDecl() const

getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a CodeTextRegion wrapping a FunctionDecl...

QualType getType(const ASTContext &) const

Try to get a reasonable type for the given value.

const MemRegion * getAsRegion() const

const CallExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

const FunctionDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

std::optional< SVal > evalBaseToDerived(SVal Base, QualType DerivedPtrType)

Attempts to do a down cast.

TypedValueRegion - An abstract class representing regions having a typed value.

bool isWithinStdNamespace(const Decl *D)

Returns true if declaration D is in std namespace or any nested namespace or class scope.

DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR)

Get dynamic type information for the region MR.

ObjCMessageKind

Represents the ways an Objective-C message send can occur.

DynamicTypeInfo getClassObjectDynamicTypeInfo(ProgramStateRef State, SymbolRef Sym)

Get dynamic type information stored in a class object represented by Sym.

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

@ Parameter

The parameter type of a method or function.

@ Result

The result type of a method or function.

const FunctionProtoType * T

@ Interface

The "__interface" keyword introduces the elaborated-type-specifier.

@ Class

The "class" keyword introduces the elaborated-type-specifier.

Diagnostic wrappers for TextAPI types for error reporting.

const ObjCInterfaceDecl * Interface

Hints for figuring out of a call should be inlined during evalCall().

DenseMapInfo< Selector > SelectorInfo

static unsigned getHashValue(const PrivateMethodKey &Key)

static PrivateMethodKey getEmptyKey()

DenseMapInfo< const ObjCInterfaceDecl * > InterfaceInfo

static bool isEqual(const PrivateMethodKey &LHS, const PrivateMethodKey &RHS)

static PrivateMethodKey getTombstoneKey()

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