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

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

clang: include/clang/Analysis/FlowSensitive/SmartPointerAccessorCaching.h Source File

<

LatticeT>

CallExpr *DerefExpr, RecordStorageLocation *SmartPointerLoc,

TransferState<LatticeT> &State,

llvm::function_ref<

(StorageLocation &)> InitializeLoc);

<

LatticeT>

CallExpr *GetExpr, RecordStorageLocation *SmartPointerLoc,

TransferState<LatticeT> &State,

llvm::function_ref<

(StorageLocation &)> InitializeLoc);

<

LatticeT>

(State.Env.getStorageLocation(*DerefExpr) !=

)

(SmartPointerLoc ==

)

(Callee ==

)

assert(CanonicalCallee !=

);

(CanonicalCallee != Callee) {

Callee->getReturnType()->isReferenceType());

Callee->getReturnType()

.getNonReferenceType()

->getCanonicalTypeUnqualified());

State.Lattice.getOrCreateConstMethodReturnStorageLocation(

*SmartPointerLoc, CanonicalCallee, State.Env, InitializeLoc);

State.Env.setStorageLocation(*DerefExpr, LocForValue);

<

LatticeT>

(SmartPointerLoc ==

)

(CanonicalCallee !=

) {

State.Lattice.getOrCreateConstMethodReturnStorageLocation(

*SmartPointerLoc, CanonicalCallee, State.Env, InitializeLoc);

State.Env.setValue(*GetExpr,

State.Env.template create<PointerValue>(LocForValue));

*Val = State.Lattice.getOrCreateConstMethodReturnValue(

*SmartPointerLoc, GetExpr, State.Env);

State.Env.setValue(*GetExpr, *Val);

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

FunctionDecl * getDirectCallee()

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

Represents a function declaration or definition.

QualType getReturnType() const

QualType getNonReferenceType() const

If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...

CanQualType getCanonicalTypeUnqualified() const

bool isReferenceType() const

A storage location for a record (struct, class, or union).

Base class for elements of the local variable store and of the heap.

Base class for all values computed by abstract interpretation.

internal::Matcher< Stmt > StatementMatcher

Dataflow Directional Tag Classes.

void transferSmartPointerLikeCachedDeref(const CallExpr *DerefExpr, RecordStorageLocation *SmartPointerLoc, TransferState< LatticeT > &State, llvm::function_ref< void(StorageLocation &)> InitializeLoc)

A transfer function for operator* (and value) calls that can be cached.

void transferSmartPointerLikeCachedGet(const CallExpr *GetExpr, RecordStorageLocation *SmartPointerLoc, TransferState< LatticeT > &State, llvm::function_ref< void(StorageLocation &)> InitializeLoc)

A transfer function for operator-> (and get) calls that can be cached.

ast_matchers::StatementMatcher isSmartPointerLikeGetMethodCall()

ast_matchers::StatementMatcher isSmartPointerLikeValueMethodCall()

ast_matchers::StatementMatcher isSmartPointerLikeOperatorArrow()

const FunctionDecl * getCanonicalSmartPointerLikeOperatorCallee(const CallExpr *CE)

Returns the "canonical" callee for smart pointer operators (* and ->) as a key for caching.

ast_matchers::StatementMatcher isSmartPointerLikeOperatorStar()

Matchers: For now, these match on any class with an operator* or operator-> where the return types ha...

A common form of state shared between the cases of a transfer function.

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