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

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

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

;

CastValueChecker :

<check::DeadSymbols, eval::Call> {

CallKind {

, Method, InstanceOf };

std::function<void(

CastValueChecker *,

&

,

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalCast, CallKind::Function}},

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalDynCast, CallKind::Function}},

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalCastOrNull, CallKind::Function}},

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalDynCastOrNull, CallKind::Function}},

{{CDM::CXXMethod, {

,

}, 0},

{&CastValueChecker::evalCastAs, CallKind::Method}},

{{CDM::CXXMethod, {

,

}, 0},

{&CastValueChecker::evalGetAs, CallKind::Method}},

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalIsa, CallKind::InstanceOf}},

{{CDM::SimpleFunc, {

,

}, 1},

{&CastValueChecker::evalIsaAndNonNull, CallKind::InstanceOf}}};

CastSucceeds ? CastInfo->

() : CastInfo->

();

CastSucceeds,

IsKnownCast) {

std::string CastToName =

Object = Object->IgnoreParenImpCasts();

.getNoteTag(

[=]() -> std::string {

llvm::raw_svector_ostream Out(Msg);

(

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

Out <<

<< DRE->getDecl()->getDeclName() <<

;

}

(

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

Out << (IsKnownCast ?

:

)

<< ME->getMemberDecl()->getDeclName() <<

;

Out << (IsKnownCast ?

:

);

Out <<

<< (CastSucceeds ?

:

) <<

<< CastToName

std::string(Out.str());

Object = Object->IgnoreParenImpCasts();

.getNoteTag(

[=]() -> std::string {

llvm::raw_svector_ostream Out(Msg);

(

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

Out <<

<< DRE->getDecl()->getNameAsString() <<

;

}

(

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

Out << (IsKnownCast ?

:

)

<< ME->getMemberDecl()->getNameAsString() <<

;

Out << (IsKnownCast ?

:

);

(

CastToTy: CastToTyVec) {

std::string CastToName =

CastToTy->getAsCXXRecordDecl()

? CastToTy->getAsCXXRecordDecl()->getNameAsString()

: CastToTy.getAsString();

Out <<

<< ((CastToTyVec.size() == 1) ?

:

(

?

:

)) <<

<< CastToName

std::string(Out.str());

llvm_unreachable(

);

IsNonNullReturn,

IsCheckedCast =

) {

(

.getNumArgs() > 0) {

Object =

.getArgExpr(0);

CastFromTy =

.parameters()[0]->getType();

Object = cast<CXXInstanceCall>(&

)->getCXXThisExpr();

CastFromTy = Object->getType();

CastSucceeds = IsCheckedCast || CastFromTy == CastToTy;

CastSucceeds = IsNonNullReturn && CastInfo->

();

CastSucceeds = IsNonNullReturn;

.generateSink(State,

.getPredecessor());

IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy;

(!IsKnownCast || IsCheckedCast)

= CastSucceeds ?

.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)

:

.getSValBuilder().makeNullWithType(CastToTy);

State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

,

),

(

, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));

(CastToTempArg.

()) {

CastToTyVec.push_back(CastToTempArg.

());

CastToTyVec.push_back(ArgInPack.getAsType());

MR = State->getSVal(DV.

<

>()).getAsRegion();

IsAnyKnown =

;

(

CastToTy: CastToTyVec) {

CastToTy =

.getASTContext().getPointerType(CastToTy);

CastSucceeds = IsInstanceOf && CastInfo->

();

CastSucceeds = IsInstanceOf || CastFromTy == CastToTy;

IsKnownCast = CastInfo || CastFromTy == CastToTy;

IsAnyKnown = IsAnyKnown || IsKnownCast;

NewState->BindExpr(

.getOriginExpr(),

.getLocationContext(),

.getSValBuilder().makeTruthVal(

)),

}

(CastInfo && CastInfo->

()) {

.generateSink(NewState,

.getPredecessor());

State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

.getSValBuilder().makeTruthVal(

)),

IsCheckedCast =

) {

, IsCheckedCast);

.addTransition(State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

.getSValBuilder().makeNullWithType(

.getOriginExpr()->getType()),

.getNoteTag(

,

CastValueChecker::evalCastOrNull(

&

,

CastValueChecker::evalDynCastOrNull(

&

,

IsCheckedCast =

) {

, IsCheckedCast);

std::tie(NonNullState, NullState) =

.getState()->assume(DV);

.generateSink(NullState,

.getPredecessor());

CastValueChecker::evalIsaAndNonNull(

&

,

std::tie(NonNullState, NullState) =

.getState()->assume(DV);

*Lookup =

.lookup(

);

CastCheck &Check = Lookup->first;

CallKind

= Lookup->second;

std::optional<DefinedOrUnknownSVal> DV;

CallKind::Function: {

CallKind::InstanceOf: {

CallKind::Method:

*InstanceCall = dyn_cast<CXXInstanceCall>(&

);

Check(

,

, *DV,

);

CastValueChecker::checkDeadSymbols(

&SR,

ento::shouldRegisterCastValueChecker(

&mgr) {

static bool isInfeasibleCast(const DynamicCastInfo *CastInfo, bool CastSucceeds)

static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsNonNullParam, bool IsNonNullReturn, bool IsCheckedCast=false)

static const NoteTag * getNoteTag(CheckerContext &C, const DynamicCastInfo *CastInfo, QualType CastToTy, const Expr *Object, bool CastSucceeds, bool IsKnownCast)

static void evalNonNullParamNullReturn(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C)

static void addInstanceOfTransition(const CallEvent &Call, DefinedOrUnknownSVal DV, ProgramStateRef State, CheckerContext &C, bool IsInstanceOf)

static void evalZeroParamNonNullReturn(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsCheckedCast=false)

static QualType alignReferenceTypes(QualType toAlign, QualType alignTowards, ASTContext &ACtx)

static void evalNullParamNullReturn(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C)

static void evalZeroParamNullReturn(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C)

static void evalNonNullParamNonNullReturn(const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsCheckedCast=false)

Defines the C++ template declaration subclasses.

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

QualType getRValueReferenceType(QualType T) const

Return the uniqued reference to the type for an rvalue reference to the specified type.

QualType getLValueReferenceType(QualType T, bool SpelledAsLValue=true) const

Return the uniqued reference to the type for an lvalue reference to the specified type.

This represents one expression.

Represents a function declaration or definition.

const TemplateArgumentList * getTemplateSpecializationArgs() const

Retrieve the template arguments used to produce this function template specialization from the primar...

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

A (possibly-)qualified type.

void addConst()

Add the const type qualifier to this QualType.

bool isConstQualified() const

Determine whether this type is const-qualified.

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

const TemplateArgument & get(unsigned Idx) const

Retrieve the template argument at a given index.

Represents a template argument.

QualType getAsType() const

Retrieve the type for a type template argument.

ArrayRef< TemplateArgument > pack_elements() const

Iterator range referencing all of the elements of a template argument pack.

@ Pack

The template argument is actually a parameter pack.

@ Type

The template argument is a type.

ArgKind getKind() const

Return the kind of stored template argument.

CXXRecordDecl * getAsCXXRecordDecl() const

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

bool isRValueReferenceType() const

bool isPointerType() const

bool isReferenceType() const

bool isLValueReferenceType() const

An immutable map from CallDescriptions to arbitrary data.

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

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

Used to register checkers.

MemRegion - The root abstract class for all memory regions.

The tag upon which the TagVisitor reacts.

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

const MemRegion * getAsRegion() const

T castAs() const

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

A class responsible for cleaning up unused symbols.

const DynamicCastInfo * getDynamicCastInfo(ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy)

Get dynamic cast information from CastFromTy to CastToTy of MR.

ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR)

Removes the dead cast informations from State.

ProgramStateRef setDynamicTypeAndCastInfo(ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy, bool IsCastSucceeds)

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

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

@ Success

Template argument deduction was successful.

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