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

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

clang: lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp Source File

;

DynamicTypePropagation:

< check::PreCall,

check::PostStmt<CastExpr>,

check::PostStmt<CXXNewExpr>,

check::PreObjCMessage,

check::PostObjCMessage > {

std::unique_ptr<BugType> ObjCGenericsBugType;

initBugType()

{

(!ObjCGenericsBugType)

ObjCGenericsBugType.reset(

(

GenericsBugVisitor(

S) : Sym(S) {}

Profile(llvm::FoldingSetNodeID &

)

{

*ReportedNode =

)

;

CheckGenerics =

;

(

*

= dyn_cast<ObjCObjectPointerType>(

)) {

->getObjectType()->isObjCClass();

Precise =

;

()

{

!=

; }

(

*ObjTy =

{ObjTy->getObjectType(),

};

ReceiverSVal =

.getSVal(RecE);

(InferredType.

()) {

InferredType = ReceiverSymbol->getType();

(isObjCClassType(InferredType)) {

{cast<ObjCObjectType>(DTI.getType()), !DTI.canBeASubClass()};

SelfSVal = State->getSelfSVal(

.getLocationContext());

(ReceiverSVal == SelfSVal) {

dyn_cast<ObjCMethodDecl>(

.getStackFrame()->getDecl()))

MD->getClassInterface()->getTypeForDecl()))

(InferredType.

()) {

(

*ReceiverInferredType =

dyn_cast<ObjCObjectPointerType>(InferredType)) {

{ReceiverInferredType->getObjectType()};

DynamicTypePropagation::checkDeadSymbols(

&SR,

MostSpecializedTypeArgsMapTy TyArgMap =

State->get<MostSpecializedTypeArgsMap>();

(

Sym : llvm::make_first_range(TyArgMap)) {

State = State->remove<MostSpecializedTypeArgsMap>(Sym);

.addTransition(State);

.addTransition(State);

DynamicTypePropagation::checkPreCall(

&

,

(Ctor->getOriginExpr()->getConstructionKind()) {

CXXConstructionKind::Complete:

CXXConstructionKind::Delegating:

CXXConstructionKind::NonVirtualBase:

CXXConstructionKind::VirtualBase:

(!Dtor->isBaseDestructor())

*

= Dtor->getDecl();

DynamicTypePropagation::checkPostCall(

&

,

*RetReg =

.getReturnValue().getAsRegion();

(

&&

->hasRelatedResultType()) {

(Msg->getMethodFamily()) {

RuntimeType ObjTy = inferReceiverType(*Msg,

);

.getASTContext().getObjCObjectPointerType(

(ObjTy.Type, 0));

*RecReg = Msg->getReceiverSVal().getAsRegion();

(Ctor->getOriginExpr()->getConstructionKind()) {

CXXConstructionKind::Complete:

CXXConstructionKind::Delegating:

CXXConstructionKind::NonVirtualBase:

CXXConstructionKind::VirtualBase:

(isa_and_nonnull<InitListExpr>(

*DynamicTypePropagation::dynamicTypePropagationOnCasts(

*ToR =

.getSVal(CE).getAsRegion();

.getPredecessor();

(isa<ExplicitCastExpr>(CE))

.getPredecessor();

(

*NewTy = getBetterObjCType(CE,

)) {

.addTransition(State);

.getPredecessor();

DynamicTypePropagation::checkPostStmt(

*NewE,

*MR =

.getSVal(NewE).getAsRegion();

DynamicTypePropagation::getBetterObjCType(

*CastE,

*ToR =

.getSVal(CastE).getAsRegion();

MostInformativeCandidate;

*SuperOfTo =

.getObjCObjectPointerType(

(SuperOfTo, 0));

MostInformativeCandidate,

);

assert(!Current || (*Current)->isSpecialized());

State = State->set<MostSpecializedTypeArgsMap>(Sym, StaticLowerBound);

State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);

(

.canAssignObjCInterfaces(StaticLowerBound, *Current)) {

(

.canAssignObjCInterfaces(*Current, StaticUpperBound)) {

(WithMostInfo == *Current)

State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);

(WithMostInfo != *Current) {

State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);

DynamicTypePropagation::checkPostStmt(

*CE,

(!OrigObjectPtrType || !DestObjectPtrType)

*AfterTypeProp = dynamicTypePropagationOnCasts(CE, State,

);

OrigObjectPtrType = OrigObjectPtrType->stripObjCKindOfTypeAndQuals(ASTCtxt);

(OrigObjectPtrType->isUnspecialized() &&

State->get<MostSpecializedTypeArgsMap>(Sym);

(isa<ExplicitCastExpr>(CE)) {

State = State->remove<MostSpecializedTypeArgsMap>(Sym);

.addTransition(State, AfterTypeProp);

*N =

.addTransition(State, AfterTypeProp, &IllegalConv);

reportGenericsBug(*TrackedType, DestObjectPtrType, N, Sym,

);

(OrigToDest && !DestToOrig)

std::swap(LowerBound, UpperBound);

LowerBound = LowerBound->

() ? UpperBound : LowerBound;

UpperBound = UpperBound->

() ? LowerBound : UpperBound;

.addTransition(State, AfterTypeProp);

IsObjCTypeParamDependentTypeVisitor

IsObjCTypeParamDependentTypeVisitor() =

;

(isa<ObjCTypeParamDecl>(

->getDecl())) {

Result =

;

IsObjCTypeParamDependentTypeVisitor Visitor;

Visitor.TraverseType(

);

Visitor.Result;

(StaticResultType ==

.getObjCInstanceType())

, TypeArgs, ObjCSubstitutionContext::Result);

DynamicTypePropagation::checkPreObjCMessage(

&M,

State->get<MostSpecializedTypeArgsMap>(Sym);

(TypeParam->getVariance() != ObjCTypeParamVariance::Invariant)

std::optional<ArrayRef<QualType>> TypeArgs =

(

i = 0; i < Method->

(); i++) {

ASTCtxt, *TypeArgs, ObjCSubstitutionContext::Parameter);

*ArgObjectPtrType =

(!ParamObjectPtrType || !ArgObjectPtrType)

State->get<MostSpecializedTypeArgsMap>(ArgSym);

(TrackedArgType &&

ArgObjectPtrType = *TrackedArgType;

reportGenericsBug(ArgObjectPtrType, ParamObjectPtrType, N, Sym,

, Arg);

DynamicTypePropagation::checkPostObjCMessage(

&M,

(RuntimeType ReceiverRuntimeType = inferReceiverType(M,

)) {

ReceiverRuntimeType.Type->getSuperClassType();

ReceiverClassType(ReceiverRuntimeType.Type, 0);

(ReceiverRuntimeType.Type->isSpecialized() &&

ReceiverRuntimeType.Precise) {

.getASTContext().getObjCObjectPointerType(ReceiverClassType);

*InferredType =

State = State->set<MostSpecializedTypeArgsMap>(RetSym, InferredType);

!ReceiverRuntimeType.Precise);

.addTransition(State);

(RuntimeType ReceiverRuntimeType = inferReceiverType(M,

)) {

ReceiverRuntimeType.Type->getSuperClassType();

(!ReceiversSuperClass.

()) {

State, RetSym, ReceiversSuperClass, !ReceiverRuntimeType.Precise);

.addTransition(State);

State->get<MostSpecializedTypeArgsMap>(RecSym);

std::optional<ArrayRef<QualType>> TypeArgs =

(ResultType.

())

Pred =

.addTransition(State);

(!ResultPtrType || ResultPtrType->isUnspecialized())

(!State->get<MostSpecializedTypeArgsMap>(RetSym)) {

State = State->set<MostSpecializedTypeArgsMap>(RetSym, ResultPtrType);

.addTransition(State, Pred);

DynamicTypePropagation::reportGenericsBug(

*ReportedNode)

{

llvm::raw_svector_ostream OS(Buf);

OS <<

;

OS <<

;

R = std::make_unique<PathSensitiveBugReport>(*ObjCGenericsBugType,

R->markInteresting(Sym);

R->addVisitor(std::make_unique<GenericsBugVisitor>(Sym));

.emitReport(std::move(R));

state->get<MostSpecializedTypeArgsMap>(Sym);

statePrev->get<MostSpecializedTypeArgsMap>(Sym);

(TrackedTypePrev && *TrackedTypePrev == *TrackedType)

llvm::raw_svector_ostream OS(Buf);

OS <<

;

(

*ExplicitCast = dyn_cast<ExplicitCastExpr>(S)) {

OS <<

;

LangOpts, llvm::Twine());

}

(

*ImplicitCast = dyn_cast<ImplicitCastExpr>(S)) {

OS <<

;

LangOpts, llvm::Twine());

OS <<

;

std::make_shared<PathDiagnosticEventPiece>(Pos, OS.str(),

);

DynamicTypePropagation *checker = mgr.

<DynamicTypePropagation>();

checker->CheckGenerics =

;

ento::shouldRegisterObjCGenericsChecker(

&mgr) {

ento::shouldRegisterDynamicTypePropagation(

&mgr) {

Defines enum values for all the target-independent builtin functions.

static QualType getReturnTypeForMethod(const ObjCMethodDecl *Method, ArrayRef< QualType > TypeArgs, const ObjCObjectPointerType *SelfType, ASTContext &C)

Get the returned ObjCObjectPointerType by a method based on the tracked type information,...

static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD, CheckerContext &C)

static const ObjCObjectPointerType * getMostInformativeDerivedClassImpl(const ObjCObjectPointerType *From, const ObjCObjectPointerType *To, const ObjCObjectPointerType *MostInformativeCandidate, ASTContext &C)

static const ObjCMethodDecl * findMethodDecl(const ObjCMessageExpr *MessageExpr, const ObjCObjectPointerType *TrackedType, ASTContext &ASTCtxt)

A method might not be available in the interface indicated by the static type. However it might be av...

static bool isObjCTypeParamDependent(QualType Type)

static const Expr * stripCastsAndSugar(const Expr *E)

static const ObjCObjectPointerType * getMostInformativeDerivedClass(const ObjCObjectPointerType *From, const ObjCObjectPointerType *To, ASTContext &C)

A downcast may loose specialization information. E. g.: MutableMap<T, U> : Map The downcast to Mutabl...

static bool storeWhenMoreInformative(ProgramStateRef &State, SymbolRef Sym, const ObjCObjectPointerType *const *Current, const ObjCObjectPointerType *StaticLowerBound, const ObjCObjectPointerType *StaticUpperBound, ASTContext &C)

Inputs:

llvm::MachO::Target Target

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

Declares an immutable map of type NameTy, suitable for placement into the ProgramState.

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.

bool canAssignObjCInterfaces(const ObjCObjectPointerType *LHSOPT, const ObjCObjectPointerType *RHSOPT)

canAssignObjCInterfaces - Return true if the two interface types are compatible for assignment from R...

const LangOptions & getLangOpts() const

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 new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".

CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...

CastKind getCastKind() const

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

DeclContext * getDeclContext()

Recursive AST visitor that supports extension via dynamic dispatch.

This represents one expression.

Expr * IgnoreParenImpCasts() LLVM_READONLY

Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...

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 ...

const Decl * getDecl() const

const ParentMap & getParentMap() const

Represents an ObjC class declaration.

ObjCMethodDecl * lookupClassMethod(Selector Sel) const

Lookup a class method for a given selector.

ObjCMethodDecl * lookupInstanceMethod(Selector Sel) const

Lookup an instance method for a given selector.

ObjCInterfaceDecl * getCanonicalDecl() override

Retrieves the canonical declaration of this Objective-C class.

bool isSuperClassOf(const ObjCInterfaceDecl *I) const

isSuperClassOf - Return true if this class is the specified class or is a super class of the specifie...

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

Expr * getArg(unsigned Arg)

getArg - Return the specified argument.

Expr * getInstanceReceiver()

Returns the object expression (receiver) for an instance message, or null for a message that is not a...

Selector getSelector() const

@ SuperInstance

The receiver is the instance of the superclass object.

@ Instance

The receiver is an object instance.

@ SuperClass

The receiver is a superclass.

@ Class

The receiver is a class.

QualType getClassReceiver() const

Returns the type of a class message send, or NULL if the message is not a class message.

QualType getSuperType() const

Retrieve the type referred to by 'super'.

const ObjCMethodDecl * getMethodDecl() const

ReceiverKind getReceiverKind() const

Determine the kind of receiver that this message is being sent to.

QualType getReceiverType() const

Retrieve the receiver type to which this message is being directed.

ObjCMethodDecl - Represents an instance or class method declaration.

ArrayRef< ParmVarDecl * > parameters() const

unsigned param_size() const

QualType getReturnType() const

ObjCInterfaceDecl * getClassInterface()

Represents a pointer to an Objective C object.

bool isSpecialized() const

Whether this type is specialized, meaning that it has type arguments.

const ObjCObjectPointerType * stripObjCKindOfTypeAndQuals(const ASTContext &ctx) const

Strip off the Objective-C "kindof" type and (with it) any protocol qualifiers.

const ObjCObjectType * getObjectType() const

Gets the type pointed to by this ObjC pointer.

bool isUnspecialized() const

Whether this type is unspecialized, meaning that is has no type arguments.

bool isObjCIdType() const

True if this is equivalent to the 'id' type, i.e.

ObjCInterfaceDecl * getInterfaceDecl() const

If this pointer points to an Objective @interface type, gets the declaration for that interface.

Represents a class type in Objective C.

QualType getSuperClassType() const

Retrieve the type of the superclass of this object type.

Represents the declaration of an Objective-C type parameter.

Stores a list of Objective-C type parameters for a parameterized class or a category/extension thereo...

Represents a type parameter type in Objective C.

OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.

Stmt * getParent(Stmt *) const

Represents a parameter to a function.

PointerType - C99 6.7.5.1 - Pointer Declarators.

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

A (possibly-)qualified type.

bool isNull() const

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

void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const

QualType getCanonicalType() const

QualType substObjCTypeArgs(ASTContext &ctx, ArrayRef< QualType > typeArgs, ObjCSubstitutionContext context) const

Substitute type arguments for the Objective-C type parameters used in the subject type.

The collection of all-type qualifiers we support.

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

std::string getAsString() const

Derive the full selector name (e.g.

Stmt - This represents one statement.

SourceRange getSourceRange() const LLVM_READONLY

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

The base class of the type hierarchy.

const T * castAs() const

Member-template castAs<specific type>.

bool isObjCIdType() const

bool isObjCClassType() const

const T * getAs() const

Member-template getAs<specific type>'.

ASTContext & getASTContext() const

const SourceManager & getSourceManager() const

BugReporterVisitors are used to add custom diagnostics along a path.

Represents a call to a C++ constructor.

Represents an implicit call to a C++ destructor.

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

virtual SVal getArgSVal(unsigned Index) const

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

SVal getReturnValue() const

Returns the return value of the call.

CHECKER * registerChecker(AT &&... Args)

Used to register checkers.

CheckerNameRef getCurrentCheckerName() const

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

Tag that can use a checker name as a message provider (see SimpleProgramPointTag).

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

QualType getType() const

Returns the currently inferred upper bound on the runtime type.

const ProgramStateRef & getState() const

const Stmt * getStmtForDiagnostics() const

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

const LocationContext * getLocationContext() const

ExplodedNode * getFirstPred()

MemRegion - The root abstract class for all memory regions.

Represents any expression that calls an Objective-C method.

const ObjCMessageExpr * getOriginExpr() const override

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

SVal getReceiverSVal() const

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

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.

const MemRegion * getAsRegion() const

A class responsible for cleaning up unused symbols.

bool isDead(SymbolRef sym)

Returns whether or not a symbol has been confirmed dead.

const char *const CoreFoundationObjectiveC

ProgramStateRef setClassObjectDynamicTypeInfo(ProgramStateRef State, SymbolRef Sym, DynamicTypeInfo NewTy)

Set constraint on a type contained in a class object; return the new state.

ProgramStateRef removeDeadClassObjectTypes(ProgramStateRef State, SymbolReaper &SR)

Removes the dead Class object type informations from State.

DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR)

Get dynamic type information for the region MR.

const DynamicTypeInfo * getRawDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR)

Get raw dynamic type information for the region MR.

ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, DynamicTypeInfo NewTy)

Set dynamic type information of the region; return the new state.

ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR)

Removes the dead type informations from State.

std::shared_ptr< PathDiagnosticPiece > PathDiagnosticPieceRef

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.

@ Interface

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

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