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

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

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

;

SymExpr::anchor() {}

llvm::APSInt &

) {

(

.isUnsigned())

(

.isUnsigned())

os <<

<< ToTy <<

;

Binary = isa<BinarySymExpr>(Operand);

os <<

<< Count <<

;

SymbolData::anchor() {}

itr ==

.itr;

itr !=

.itr;

assert(!itr.empty() &&

);

assert(!itr.empty() &&

);

SymExpr::symbol_iterator::expand() {

*SE = itr.pop_back_val();

SymExpr::SymbolRegionValueKind:

SymExpr::SymbolConjuredKind:

SymExpr::SymbolDerivedKind:

SymExpr::SymbolExtentKind:

SymExpr::SymbolMetadataKind:

SymExpr::SymbolCastKind:

itr.push_back(cast<SymbolCast>(SE)->getOperand());

SymExpr::UnarySymExprKind:

itr.push_back(cast<UnarySymExpr>(SE)->getOperand());

SymExpr::SymIntExprKind:

itr.push_back(cast<SymIntExpr>(SE)->getLHS());

SymExpr::IntSymExprKind:

itr.push_back(cast<IntSymExpr>(SE)->getRHS());

SymExpr::SymSymExprKind: {

*x = cast<SymSymExpr>(SE);

itr.push_back(x->getLHS());

itr.push_back(x->getRHS());

llvm_unreachable(

);

R->getValueType();

&Ctx = R->getMemRegionManager().getContext();

R->getValueType();

=

.getCanonicalType();

&dependencies = SymbolDependencies[Primary];

dependencies = std::make_unique<SymbolRefSmallVectorTy>();

SymbolDependTy::const_iterator I = SymbolDependencies.find(Primary);

(I == SymbolDependencies.end())

I->second.get();

SymbolReaper::markDependentsLive(

sym) {

SymbolMapTy::iterator LI = TheLiving.find(sym);

assert(LI != TheLiving.end() &&

);

(LI->second == HaveMarkedDependents)

LI->second = HaveMarkedDependents;

(

I : *Deps) {

(TheLiving.contains(I))

TheLiving[sym] = NotProcessed;

markDependentsLive(sym);

markElementIndicesLive(region);

(

SR = dyn_cast<SubRegion>(region); SR;

SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {

(

ER = dyn_cast<ElementRegion>(SR)) {

Idx = ER->getIndex();

(isa<SymbolMetadata>(sym))

MetadataInUse.insert(sym);

(LiveRegionRoots.count(MR))

(

*SR = dyn_cast<SymbolicRegion>(MR))

isLive(SR->getSymbol());

(

*VR = dyn_cast<VarRegion>(MR))

isLive(VR,

);

isa<AllocaRegion, CXXThisRegion, MemSpaceRegion, CodeTextRegion>(MR);

SymbolReaper::isLazilyCopiedRegion(

*MR)

{

SymbolReaper::isReadableRegion(

*MR) {

isLiveRegion(MR) || isLazilyCopiedRegion(MR);

(TheLiving.count(sym)) {

markDependentsLive(sym);

SymExpr::SymbolRegionValueKind:

KnownLive = isReadableRegion(cast<SymbolRegionValue>(sym)->

());

SymExpr::SymbolConjuredKind:

SymExpr::SymbolDerivedKind:

KnownLive = isLive(cast<SymbolDerived>(sym)->getParentSymbol());

SymExpr::SymbolExtentKind:

KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->

());

SymExpr::SymbolMetadataKind:

KnownLive = MetadataInUse.count(sym) &&

isLiveRegion(cast<SymbolMetadata>(sym)->

());

MetadataInUse.erase(sym);

SymExpr::SymIntExprKind:

KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS());

SymExpr::IntSymExprKind:

KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS());

SymExpr::SymSymExprKind:

KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) &&

isLive(cast<SymSymExpr>(sym)->getRHS());

SymExpr::SymbolCastKind:

KnownLive = isLive(cast<SymbolCast>(sym)->getOperand());

SymExpr::UnarySymExprKind:

KnownLive = isLive(cast<UnarySymExpr>(sym)->getOperand());

(LCtx ==

)

(LCtx->isParentOf(ELCtx))

(VarContext == CurrentContext) {

(isa<CXXInheritedCtorInitExpr>(

))

(!includeStoreBindings)

&cachedQuery =

*

(

)->includedRegionCache[VR];

cachedQuery == 1;

(

store = reapedStore.getStore()) {

reapedStore.getStoreManager().includedInBindings(store, VR);

cachedQuery = hasRegion ? 1 : 2;

VarContext->

(CurrentContext);

Defines the clang::ASTContext interface.

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

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

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

Defines the Objective-C statement AST node classes.

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

CanQualType getSizeType() const

Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.

StringRef getOpcodeStr() const

ASTContext & getASTContext() const LLVM_READONLY

This represents one expression.

bool isLive(const CFGBlock *B, const VarDecl *D)

Return true if a variable is live at the end of a specified block.

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 StackFrameContext * getStackFrame() const

A (possibly-)qualified type.

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

int64_t getID(const ASTContext &Context) const

bool isIntegralOrEnumerationType() const

Determine whether this type is an integral or enumeration type.

bool isRecordType() const

static StringRef getOpcodeStr(Opcode Op)

getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to,...

static void dumpToStreamImpl(raw_ostream &os, const SymExpr *Value)

static bool isLocType(QualType T)

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getBaseRegion() const

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

llvm::iterator_range< SymExpr::symbol_iterator > symbols() const

Iterator over symbols that the current symbol depends on.

symbol_iterator()=default

bool operator!=(const symbol_iterator &X) const

symbol_iterator & operator++()

bool operator==(const symbol_iterator &X) const

const SymExpr * operator*()

virtual void dumpToStream(raw_ostream &os) const

virtual void dump() const

SymbolID getSymbolID() const

Get a unique identifier for this symbol.

void dumpToStream(raw_ostream &os) const override

StringRef getKindStr() const override

Get a string representation of the kind of the region.

void dumpToStream(raw_ostream &os) const override

QualType getType() const override

LLVM_ATTRIBUTE_RETURNS_NONNULL SymbolRef getParentSymbol() const

StringRef getKindStr() const override

Get a string representation of the kind of the region.

void dumpToStream(raw_ostream &os) const override

QualType getType() const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const TypedValueRegion * getRegion() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const SubRegion * getRegion() const

void dumpToStream(raw_ostream &os) const override

QualType getType() const override

StringRef getKindStr() const override

Get a string representation of the kind of the region.

void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent)

Add artificial symbol dependency.

const SymbolRefSmallVectorTy * getDependentSymbols(const SymbolRef Primary)

static bool canSymbolicate(QualType T)

A class responsible for cleaning up unused symbols.

void markLive(SymbolRef sym)

Unconditionally marks a symbol as live.

void markElementIndicesLive(const MemRegion *region)

void markInUse(SymbolRef sym)

Marks a symbol as important to a checker.

bool isLiveRegion(const MemRegion *region)

void markLazilyCopied(const MemRegion *region)

bool isLive(SymbolRef sym)

void dumpToStream(raw_ostream &os) const override

QualType getType() const override

StringRef getKindStr() const override

Get a string representation of the kind of the region.

void dumpToStream(raw_ostream &os) const override

const VarDecl * getDecl() const override=0

const StackFrameContext * getStackFrame() const

It might return null.

@ OS

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

const void * Store

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

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

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