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

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

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

;

LeftV = state->getSVal(LHS, LCtx);

RightV = state->getSVal(RHS, LCtx);

(Op == BO_Assign) {

(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),

RightV, LeftV, RHS, svalBuilder, Count, LCtx);

LeftV, RightV, LHS, svalBuilder, Count, LCtx);

state = createTemporaryRegionIfNeeded(state, LCtx, LHS);

(!

.isUnknown()) {

state = state->BindExpr(B, LCtx,

);

llvm_unreachable(

);

BO_MulAssign: Op = BO_Mul;

;

BO_DivAssign: Op = BO_Div;

;

BO_RemAssign: Op = BO_Rem;

;

BO_AddAssign: Op = BO_Add;

;

BO_SubAssign: Op = BO_Sub;

;

BO_ShlAssign: Op = BO_Shl;

;

BO_ShrAssign: Op = BO_Shr;

;

BO_AndAssign: Op = BO_And;

;

BO_XorAssign: Op = BO_Xor;

;

BO_OrAssign: Op = BO_Or;

;

location = LeftV;

(Tmp, B, LHS, *it, state, location);

state = N->getState();

= state->getSVal(LHS, LCtx);

cast<CompoundAssignOperator>(B)->getComputationResultType();

cast<CompoundAssignOperator>(B)->getComputationLHSType();

(

.isUnknown()) {

state = state->BindExpr(B, LCtx, location);

state = state->BindExpr(B, LCtx,

);

(Tmp2, B, LHS, N, state, location, LHSVal);

dyn_cast_or_null<BlockDataRegion>(

.getAsRegion())) {

ReferencedVars = BDR->referenced_vars();

(

Var : ReferencedVars) {

*capturedR = Var.getCapturedRegion();

*copyExpr =

;

assert(CI->getVariable() == capturedR->

());

copyExpr = CI->getCopyExpr();

(capturedR != originalR) {

originalV = State->getSVal(copyExpr, LCtx);

OrigV = state->getSVal(Ex, LCtx);

(CastE->

() == CK_BooleanToSignedIntegral &&

.isValid())

state = state->BindExpr(CastE, LCtx,

);

(

.isUnknown() && !OrigV.

()) {

CastE->

() == CK_LValueToRValueBitCast) {

(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));

(

*ExCast=dyn_cast_or_null<ExplicitCastExpr>(CastE))

= ExCast->getTypeAsWritten();

CK_LValueToRValue:

CK_LValueToRValueBitCast:

llvm_unreachable(

);

CK_ARCProduceObject:

CK_ARCConsumeObject:

CK_ARCReclaimReturnedObject:

CK_ARCExtendBlockObject:

CK_CopyAndAutoreleaseBlockObject:

CK_AtomicToNonAtomic:

CK_NonAtomicToAtomic:

CK_ConstructorConversion:

CK_UserDefinedConversion:

CK_FunctionToPointerDecay:

CK_BuiltinFnToFnPtr:

CK_HLSLArrayRValue: {

= state->getSVal(Ex, LCtx);

state = state->BindExpr(CastE, LCtx,

);

CK_MemberPointerToBoolean:

CK_PointerToBoolean: {

= state->getSVal(Ex, LCtx);

= svalBuilder.

(!PTMSV->isNullMemberPointer(), ExTy);

(

.isUndef() || PTMSV) {

state = state->BindExpr(CastE, LCtx,

);

CK_ArrayToPointerDecay:

CK_AddressSpaceConversion:

CK_BooleanToSignedIntegral:

CK_IntegralToPointer:

CK_PointerToIntegral: {

= state->getSVal(Ex, LCtx);

(isa<nonloc::PointerToMember>(

)) {

state = state->BindExpr(CastE, LCtx,

());

CK_IntegralToBoolean:

CK_IntegralToFloating:

CK_FloatingToIntegral:

CK_FloatingToBoolean:

CK_FloatingCast:

CK_FloatingRealToComplex:

CK_FloatingComplexToReal:

CK_FloatingComplexToBoolean:

CK_FloatingComplexCast:

CK_FloatingComplexToIntegralComplex:

CK_IntegralRealToComplex:

CK_IntegralComplexToReal:

CK_IntegralComplexToBoolean:

CK_IntegralComplexCast:

CK_IntegralComplexToFloatingComplex:

CK_CPointerToObjCPointerCast:

CK_BlockPointerToObjCPointerCast:

CK_AnyPointerToBlockPointerCast:

CK_ObjCObjectLValueCast:

CK_ZeroToOCLOpaqueType:

CK_IntToOCLSampler:

CK_LValueBitCast:

CK_FloatingToFixedPoint:

CK_FixedPointToFloating:

CK_FixedPointCast:

CK_FixedPointToBoolean:

CK_FixedPointToIntegral:

CK_IntegralToFixedPoint: {

CK_IntegralCast: {

= state->getSVal(Ex, LCtx);

(AMgr.

.ShouldSupportSymbolicIntegerCasts)

state = state->BindExpr(CastE, LCtx,

);

CK_DerivedToBase:

CK_UncheckedDerivedToBase: {

val = state->getSVal(Ex, LCtx);

state = state->BindExpr(CastE, LCtx, val);

val = state->getSVal(Ex, LCtx);

(std::optional<SVal>

=

state = state->BindExpr(CastE, LCtx,

state = state->BindExpr(CastE, LCtx, NewSym);

state = state->BindExpr(CastE, LCtx, val);

CK_BaseToDerived: {

val = state->getSVal(Ex, LCtx);

state = state->BindExpr(CastE, LCtx, val);

CK_NullToPointer: {

state = state->BindExpr(CastE, LCtx,

);

CK_NullToMemberPointer: {

state = state->BindExpr(CastE, LCtx,

);

CK_DerivedToBaseMemberPointer:

CK_BaseToDerivedMemberPointer:

CK_ReinterpretMemberPointer: {

= state->getSVal(Ex, LCtx);

state = state->BindExpr(CastE, LCtx, CastedPTMSV);

CK_HLSLVectorTruncation: {

, CastE, LCtx, resultType,

state = state->BindExpr(CastE, LCtx, result);

(isa<CXXConstructExpr, CXXStdInitializerListExpr>(

)) {

assert(isa<InitListExpr>(

));

CLLoc = State->getLValue(CL, LCtx);

State = State->bindLoc(CLLoc,

, LCtx);

(isa<TypedefNameDecl>(*DS->

())) {

InitVal = state->getSVal(InitEx, LC);

state = finishObjectConstruction(state, DS, LC);

(InitEx->isGLValue()) {

evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal,

);

(

*Term = cast_or_null<BinaryOperator>(

.getStmt())) {

assert(Term->isLogicalOp());

assert(!SrcBlock->

());

(NumInitElements == 0) {

(

*S : llvm::reverse(*IE)) {

= state->getSVal(cast<Expr>(S), LCtx);

state->BindExpr(IE, LCtx,

assert(NumInitElements <= 1);

(NumInitElements == 0)

= state->getSVal(IE->

(0), LCtx);

*SrcBlock =

;

SrcState = N->getState();

assert(SrcBlock &&

);

hasValue =

;

(

CE : llvm::reverse(*SrcBlock)) {

(std::optional<CFGStmt> CS = CE.getAs<

>()) {

*ValEx = cast<Expr>(CS->getStmt());

L = OpaqueEx->getSourceExpr();

= SrcState->getSVal(ValEx, LCtx);

B.

(Ex, Pred, state->BindExpr(Ex, LCtx,

,

));

(Ex->

() == UETT_SizeOf) {

state = state->BindExpr(

Ex, N->getLocationContext(),

*Ex =

->getSubExpr()->IgnoreParens();

Bldr.

(

, N, state->BindExpr(

, LCtx, state->getSVal(Ex, LCtx)));

(

->getOpcode()) {

*Ex =

->getSubExpr()->IgnoreParens();

assert (

->getType() == Ex->

());

state->BindExpr(

, LCtx, state->getSVal(Ex, LCtx)));

*Ex =

->getSubExpr()->IgnoreParens();

*Ex =

->getSubExpr()->IgnoreParens();

(

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

(isa<CXXMethodDecl, FieldDecl, IndirectFieldDecl>(VD)) {

assert(!

->isGLValue());

assert (!

->isGLValue());

*Ex =

->getSubExpr()->IgnoreParens();

= state->getSVal(Ex, LCtx);

(

.isUnknownOrUndef()) {

(

->getOpcode()) {

llvm_unreachable(

);

state = state->BindExpr(

state = state->BindExpr(

, LCtx,

(std::optional<Loc> LV =

.getAs<

>()) {

state = state->BindExpr(

, LCtx,

);

assert (

->isIncrementDecrementOp());

*Ex =

->getSubExpr()->IgnoreParens();

loc = state->getSVal(Ex, LCtx);

(Tmp,

, Ex, Pred, state, loc);

state = N->getState();

assert(LCtx == N->getLocationContext());

V2_untested = state->getSVal(Ex, LCtx);

state = state->BindExpr(

, LCtx, V2_untested);

(Dst3,

, Ex, N, state, loc, V2_untested);

(

->getType()->isAnyPointerType())

(

->getType()->isIntegralOrEnumerationType())

(

->getType()->isBooleanType() &&

->isIncrementOp())

(

.isUnknown()){

(!state->assume(Constraint,

)) {

Constraint = svalBuilder.

(state, SymVal,

state = state->assume(Constraint,

);

(

->isGLValue())

state = state->BindExpr(

, LCtx, loc);

state = state->BindExpr(

, LCtx,

->isPostfix() ? V2 :

);

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

Defines the clang::Expr interface and subclasses for C++ expressions.

static SVal conjureOffsetSymbolOnLocation(SVal Symbol, SVal Other, Expr *Expression, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx)

Optionally conjure and return a symbol for offset when processing an expression Expression.

QualType getRValueReferenceType(QualType T) const

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

CanQualType getCanonicalType(QualType T) const

Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...

QualType getPointerType(QualType T) const

Return the uniqued reference to the type for a pointer 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.

A builtin binary operation expression such as "x + y" or "x <= y".

static bool isAdditiveOp(Opcode Opc)

static bool isAssignmentOp(Opcode Opc)

static bool isCompoundAssignmentOp(Opcode Opc)

Represents a block literal declaration, which is like an unnamed FunctionDecl.

capture_const_iterator capture_begin() const

capture_const_iterator capture_end() const

const CFGBlock * getSrc() const

const CFGBlock * getDst() const

BlockExpr - Adaptor class for mixing a BlockDecl with expressions.

const BlockDecl * getBlockDecl() const

This class is used for builtin types like 'int'.

Represents a single basic block in a source-level CFG.

reverse_iterator rbegin()

CFGTerminator getTerminator() const

succ_iterator succ_begin()

unsigned succ_size() const

Represents a top-level expression in a basic block.

T castAs() const

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

const Stmt * getStmt() const

Represents CFGBlock terminator statement.

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

CastKind getCastKind() const

llvm::iterator_range< path_iterator > path()

Path through the class hierarchy taken by casts between base and derived classes (see implementation ...

CharUnits - This is an opaque type for sizes expressed in character units.

QuantityType getQuantity() const

getQuantity - Get the raw integer representation of this quantity.

static CharUnits fromQuantity(QuantityType Quantity)

fromQuantity - Construct a CharUnits quantity from a raw integer type.

CompoundLiteralExpr - [C99 6.5.2.5].

const Expr * getInitializer() const

A reference to a declared variable, function, enum, etc.

DeclStmt - Adaptor class for mixing declarations with statements and expressions.

bool isSingleDecl() const

isSingleDecl - This method returns true if this DeclStmt refers to a single Decl.

decl_iterator decl_begin()

ExplicitCastExpr - An explicit cast written in the source code.

This represents one expression.

bool EvaluateAsInt(EvalResult &Result, const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects, bool InConstantContext=false) const

EvaluateAsInt - Return true if this is a constant which we can fold and convert to an integer,...

llvm::APSInt EvaluateKnownConstInt(const ASTContext &Ctx, SmallVectorImpl< PartialDiagnosticAt > *Diag=nullptr) const

EvaluateKnownConstInt - Call EvaluateAsRValue and return the folded integer.

Expr * IgnoreParens() LLVM_READONLY

Skip past any parentheses which might surround this expression until reaching a fixed point.

Describes an C or C++ initializer list.

bool isTransparent() const

Is this a transparent initializer list (that is, an InitListExpr that is purely syntactic,...

unsigned getNumInits() const

const Expr * getInit(unsigned Init) const

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

Represents a class type in Objective C.

OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...

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

Represents a point after we ran remove dead bindings BEFORE processing the given statement.

T castAs() const

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

std::optional< T > getAs() const

Convert to the specified ProgramPoint type, returning std::nullopt if this ProgramPoint is not of the...

A (possibly-)qualified type.

Stmt - This represents one statement.

bool isSignedIntegerType() const

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

bool isRValueReferenceType() const

bool isConstantSizeType() const

Return true if this is not a variable sized type, according to the rules of C99 6....

const T * castAs() const

Member-template castAs<specific type>.

bool isReferenceType() const

bool isVariableArrayType() const

bool isIntegralOrEnumerationType() const

Determine whether this type is an integral or enumeration type.

bool isLValueReferenceType() const

bool isAnyComplexType() const

bool isIncompleteType(NamedDecl **Def=nullptr) const

Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...

bool isVectorType() const

bool isFloatingType() const

const T * getAs() const

Member-template getAs<specific type>'.

bool isRecordType() const

UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.

QualType getTypeOfArgument() const

Gets the argument type, or the type of the argument expression, whichever is appropriate.

UnaryExprOrTypeTrait getKind() const

UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...

Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...

Represents a variable declaration or definition.

const Expr * getInit() const

AnalyzerOptions & options

llvm::ImmutableList< SVal > getEmptySValList()

llvm::ImmutableList< SVal > prependSVal(SVal X, llvm::ImmutableList< SVal > L)

BlockDataRegion - A region that represents a block instance.

void runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined=false)

Run checkers for post-visiting Stmts.

void runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng)

Run checkers for pre-visiting Stmts.

ImplTy::iterator iterator

void insert(const ExplodedNodeSet &S)

const ProgramStateRef & getState() const

pred_iterator pred_begin()

ProgramPoint getLocation() const

getLocation - Returns the edge associated with the given node.

unsigned pred_size() const

const LocationContext * getLocationContext() const

void VisitBinaryOperator(const BinaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitBinaryOperator - Transfer function logic for binary operators.

void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitGuardedExpr - Transfer function logic for ?, __builtin_choose.

void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitCast - Transfer function logic for all casts (implicit and explicit).

BasicValueFactory & getBasicVals()

void VisitLogicalExpr(const BinaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitLogicalExpr - Transfer function logic for '&&', '||'.

SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, SVal LHS, SVal RHS, QualType T)

void VisitUnaryOperator(const UnaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitUnaryOperator - Transfer function logic for unary operators.

void VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitDeclStmt - Transfer function logic for DeclStmts.

ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex, const LocationContext *LCtx, QualType T, QualType ExTy, const CastExpr *CastE, StmtNodeBuilder &Bldr, ExplodedNode *Pred)

static std::optional< SVal > getObjectUnderConstruction(ProgramStateRef State, const ConstructionContextItem &Item, const LocationContext *LC)

By looking at a certain item that may be potentially part of an object's ConstructionContext,...

void VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitBlockExpr - Transfer function logic for BlockExprs.

void VisitIncrementDecrementOperator(const UnaryOperator *U, ExplodedNode *Pred, ExplodedNodeSet &Dst)

Handle ++ and – (both pre- and post-increment).

ASTContext & getContext() const

getContext - Return the ASTContext associated with this analysis.

StoreManager & getStoreManager()

void VisitInitListExpr(const InitListExpr *E, ExplodedNode *Pred, ExplodedNodeSet &Dst)

void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitUnaryExprOrTypeTraitExpr - Transfer function for sizeof.

CheckerManager & getCheckerManager() const

void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitOffsetOfExpr - Transfer function for offsetof.

void evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundExpr, ExplodedNode *Pred, ProgramStateRef St, SVal location, const ProgramPointTag *tag=nullptr, QualType LoadTy=QualType())

Simulate a read of the result of Ex.

void handleUOExtension(ExplodedNode *N, const UnaryOperator *U, StmtNodeBuilder &Bldr)

void VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, ExplodedNode *Pred, ExplodedNodeSet &Dst)

VisitCompoundLiteralExpr - Transfer function logic for compound literals.

SValBuilder & getSValBuilder()

void evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *StoreE, ExplodedNode *Pred, ProgramStateRef St, SVal TargetLV, SVal Val, const ProgramPointTag *tag=nullptr)

evalStore - Handle the semantics of a store via an assignment.

static bool isLocType(QualType T)

unsigned blockCount() const

Returns the number of times the current basic block has been visited on the exploded graph path.

void takeNodes(const ExplodedNodeSet &S)

void addNodes(const ExplodedNodeSet &S)

const ExplodedNodeSet & getResults()

StoreManager & getStoreManager()

DefinedOrUnknownSVal makeZeroVal(QualType type)

Construct an SVal representing '0' for the specified type.

DefinedSVal getMemberPointer(const NamedDecl *ND)

NonLoc makePointerToMember(const DeclaratorDecl *DD)

SVal evalMinus(NonLoc val)

SVal evalComplement(NonLoc val)

NonLoc makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals)

DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy, const LocationContext *locContext, unsigned blockCount)

NonLoc makeArrayIndex(uint64_t idx)

nonloc::ConcreteInt makeIntVal(const IntegerLiteral *integer)

SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy)

Cast a given SVal to another SVal using given QualType's.

DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count)

Create a new symbol with a unique 'name'.

virtual SVal simplifySVal(ProgramStateRef State, SVal Val)=0

Simplify symbolic expressions within a given SVal.

SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs)

nonloc::ConcreteInt makeTruthVal(bool b, QualType type)

loc::ConcreteInt makeNullWithType(QualType type)

Create NULL pointer, with proper pointer bit-width for given address space.

SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy, QualType originalType)

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

bool isZeroConstant() const

bool isUnknownOrUndef() const

T castAs() const

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

This builder class is useful for generating nodes that resulted from visiting a statement.

ExplodedNode * generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)

ExplodedNode * generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)

SVal evalDerivedToBase(SVal Derived, const CastExpr *Cast)

Evaluates a chain of derived-to-base casts through the path specified in Cast.

std::optional< SVal > evalBaseToDerived(SVal Base, QualType DerivedPtrType)

Attempts to do a down cast.

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

const VarDecl * getDecl() const override=0

Value representing integer constant.

Value representing pointer-to-member.

@ PSK_EscapeOther

The reason for pointer escape is unknown.

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

@ Result

The result type of a method or function.

const FunctionProtoType * T

@ Other

Other implicit parameter.

EvalResult is a struct with detailed info about an evaluated expression.

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