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

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

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

;

(std::optional<loc::MemRegionVal>

= getAs<loc::MemRegionVal>()) {

(

*FD = dyn_cast<FunctionDecl>(CTR->getDecl()))

(

= getAs<nonloc::PointerToMember>()) {

(

*MD = dyn_cast_or_null<CXXMethodDecl>(

->getDecl()))

: dyn_cast<SymbolicRegion>(R->StripCasts()))

SymR->getSymbol();

std::optional<loc::MemRegionVal>

= getAs<loc::MemRegionVal>();

(

*SR = dyn_cast<SubRegion>(R)) {

(

*SymR = dyn_cast<SymbolicRegion>(SR))

SymR->getSymbol();

R = SR->getSuperRegion();

(std::optional<nonloc::SymbolVal>

= getAs<nonloc::SymbolVal>())

->getSymbol();

(

CI = getAs<nonloc::ConcreteInt>())

CI->getValue().get();

(

CI = getAs<loc::ConcreteInt>())

CI->getValue().get();

(std::optional<loc::MemRegionVal>

= getAs<loc::MemRegionVal>())

->getRegion();

(std::optional<nonloc::LocAsInteger>

= getAs<nonloc::LocAsInteger>())

->getLoc().getAsRegion();

TypeRetrievingVisitor

TypeRetrievingVisitor(

&Context) : Context(Context) {}

<

ConcreteInt>

VisitConcreteInt(ConcreteInt CI) {

llvm::APSInt &

= CI.getValue();

(1 ==

.getBitWidth())

(NestedType.

())

TypeRetrievingVisitor TRV{Context};

TRV.Visit(*

);

getPTMData().isNull();

PTMD = this->getPTMData();

(

*NDP = dyn_cast<const NamedDecl *>(PTMD))

ND = cast<const PointerToMemberData *>(PTMD)->getDeclaratorDecl();

getValue()->begin();

getValue()->end();

(isa<const NamedDecl *>(PTMD))

cast<const PointerToMemberData *>(PTMD)->begin();

(isa<const NamedDecl *>(PTMD))

cast<const PointerToMemberData *>(PTMD)->end();

getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>();

(std::optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>())

*LV->getValue().get() == I;

(std::optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>())

*NV->getValue().get() == I;

isConstant(0);

llvm_unreachable(

);

LLVM_DUMP_METHOD

()

{ dumpToStream(llvm::errs()); }

llvm::raw_string_ostream TempOut(Buf);

dumpToStream(TempOut);

castAs<NonLoc>().dumpToStream(os);

castAs<Loc>().dumpToStream(os);

llvm_unreachable(

);

nonloc::ConcreteIntKind: {

os <<

<<

<< (

->isSigned() ?

:

)

<<

->getBitWidth() <<

;

nonloc::SymbolValKind:

os << castAs<nonloc::SymbolVal>().getSymbol();

nonloc::LocAsIntegerKind: {

os <<

.getLoc() <<

<<

.getNumBits() <<

;

nonloc::CompoundValKind: {

os <<

;

(

&I :

) {

os <<

; first =

;

nonloc::LazyCompoundValKind: {

os <<

<<

*

(

.getStore())

<<

<<

.getRegion()

nonloc::PointerToMemberKind: {

os <<

;

castAs<nonloc::PointerToMember>();

(

&I : CastRes) {

os <<

; first =

;

assert(

&&

);

loc::ConcreteIntKind:

os << castAs<loc::ConcreteInt>().getValue()->getZExtValue() <<

;

loc::GotoLabelKind:

os <<

<< castAs<loc::GotoLabel>().getLabel()->getName();

loc::MemRegionValKind:

os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString();

llvm_unreachable(

);

Defines the clang::ASTContext interface.

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

static Decl::Kind getKind(const Decl *D)

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

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

C Language Family Type Representation.

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

QualType getIntTypeForBitwidth(unsigned DestWidth, unsigned Signed) const

getIntTypeForBitwidth - sets integer QualTy according to specified details: bitwidth,...

Represents a function declaration or definition.

This represents a decl that may have a name.

std::string getQualifiedNameAsString() const

A (possibly-)qualified type.

bool isNull() const

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

bool isSignedIntegerType() const

Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char,...

A safe wrapper around APSInt objects allocated and owned by BasicValueFactory.

AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.

FullSValVisitor - a convenient mixed visitor for all three: SVal, SymExpr and MemRegion subclasses.

FunctionCodeRegion - A region that represents code texts of function.

void dumpToStream(raw_ostream &Out) const

static bool classof(SVal V)

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * StripCasts(bool StripBaseAndDerivedCasts=true) const

const SymbolicRegion * getSymbolicBase() const

If this is a symbolic region, returns the region.

const RegionTy * getAs() const

static bool classof(SVal V)

void dumpToStream(raw_ostream &Out) const

bool isZeroConstant() const

void dumpToStream(raw_ostream &OS) const

SymbolRef getAsSymbol(bool IncludeBaseRegions=false) const

If this SVal wraps a symbol return that SymbolRef.

const FunctionDecl * getAsFunctionDecl() const

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

void printJson(raw_ostream &Out, bool AddQuotes) const

printJson - Pretty-prints in JSON format.

StringRef getKindStr() const

QualType getType(const ASTContext &) const

Try to get a reasonable type for the given value.

const llvm::APSInt * getAsInteger() const

If this SVal is loc::ConcreteInt or nonloc::ConcreteInt, return a pointer to APSInt which is held in ...

SymbolRef getAsLocSymbol(bool IncludeBaseRegions=false) const

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

const MemRegion * getAsRegion() const

SymbolRef getLocSymbolInBase() const

Get the symbol in the SVal or its base region.

virtual QualType getType() const =0

SymbolicRegion - A special, "non-concrete" region.

SymbolRef getSymbol() const

It might return null.

TypedRegion - An abstract class representing regions that are typed.

virtual QualType getLocationType() const =0

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

virtual QualType getValueType() const =0

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * stripCasts(bool StripBaseCasts=true) const

Get the underlining region and strip casts.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getRegion() const

Get the underlining region.

The simplest example of a concrete compound value is nonloc::CompoundVal, which represents a concrete...

LLVM_ATTRIBUTE_RETURNS_NONNULL const CompoundValData * getValue() const

llvm::ImmutableList< SVal >::iterator iterator

While nonloc::CompoundVal covers a few simple use cases, nonloc::LazyCompoundVal is a more performant...

LLVM_ATTRIBUTE_RETURNS_NONNULL const TypedValueRegion * getRegion() const

This function itself is immaterial.

const void * getStore() const

It might return null.

unsigned getNumBits() const

Value representing pointer-to-member.

bool isNullMemberPointer() const

llvm::PointerUnion< const NamedDecl *, const PointerToMemberData * > PTMDataType

llvm::ImmutableList< const CXXBaseSpecifier * >::iterator iterator

const NamedDecl * getDecl() const

Represents symbolic expression that isn't a location.

LLVM_ATTRIBUTE_RETURNS_NONNULL SymbolRef getSymbol() const

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

std::string JsonFormat(StringRef RawSR, bool AddQuotes)

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