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

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

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

;

tagged_union_modeling;

namespace

::ento::tagged_union_modeling {

*ConstructorCall = dyn_cast<CXXConstructorCall>(&

);

ConstructorCall->getDecl();

ConstructorDecl->isCopyConstructor();

*CopyAssignmentDecl =

.getDecl();

(

*AsMethodDecl =

dyn_cast_or_null<CXXMethodDecl>(CopyAssignmentDecl))

AsMethodDecl->isCopyAssignmentOperator();

*CopyAssignmentDecl =

.getDecl();

*AsMethodDecl =

dyn_cast_or_null<CXXMethodDecl>(CopyAssignmentDecl);

AsMethodDecl->isMoveAssignmentOperator();

std::optional<ArrayRef<TemplateArgument>>

std::optional<QualType>

std::optional<ArrayRef<TemplateArgument>> VariantTemplates =

(!VariantTemplates)

(*VariantTemplates)[i].getAsType();

{

,

,

}};

{

,

,

}};

BadVariantType{

,

,

};

removeInformationStoredForDeadInstances<VariantHeldTypeMap>(

*

, State, Regions);

(

.isCalledFromSystemHeader())

handleStdGetCall(

,

);

IsVariantConstructor =

isa<CXXConstructorCall>(

) && VariantConstructor.

(

);

IsVariantAssignmentOperatorCall =

isa<CXXMemberOperatorCall>(

) &&

(IsVariantConstructor || IsVariantAssignmentOperatorCall) {

(

.getNumArgs() == 0 && IsVariantConstructor) {

handleDefaultConstructor(cast<CXXConstructorCall>(&

),

);

(

.getNumArgs() != 1)

(IsVariantConstructor) {

&AsConstructorCall = cast<CXXConstructorCall>(

);

ThisSVal = AsConstructorCall.getCXXThisVal();

}

(IsVariantAssignmentOperatorCall) {

&AsMemberOpCall = cast<CXXMemberOperatorCall>(

);

ThisSVal = AsMemberOpCall.getCXXThisVal();

handleConstructorAndAssignment<VariantHeldTypeMap>(

,

, ThisSVal);

*

ThisMemRegion = ThisSVal.

();

State = State->set<VariantHeldTypeMap>(ThisMemRegion, *DefaultType);

.addTransition(State);

&ArgType =

.getArgSVal(0)

.getType(

.getASTContext())

*ArgMemRegion =

.getArgSVal(0).getAsRegion();

*StoredType = State->get<VariantHeldTypeMap>(ArgMemRegion);

*CE = cast<CallExpr>(

.getOriginExpr());

(TypeOut.getKind()) {

TemplateArgument::ArgKind::Type:

RetrievedType = TypeOut.getAsType();

TemplateArgument::ArgKind::Integral:

(std::optional<QualType> NthTemplate =

ArgType, TypeOut.getAsIntegral().getSExtValue())) {

RetrievedType = *NthTemplate;

StoredCanonicalType = StoredType->getCanonicalType();

(RetrievedCanonicalType == StoredCanonicalType)

llvm::raw_svector_ostream OS(Str);

std::string StoredTypeName = StoredType->getAsString();

std::string RetrievedTypeName = RetrievedType.

();

<< StoredTypeName <<

<< RetrievedTypeName <<

;

R = std::make_unique<PathSensitiveBugReport>(BadVariantType, OS.str(),

.emitReport(std::move(R));

clang::ento::shouldRegisterStdVariantChecker(

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

Declares an immutable map of type NameTy, suitable for placement into the ProgramState.

static std::optional< ArrayRef< TemplateArgument > > getTemplateArgsFromVariant(const Type *VariantType)

static std::optional< QualType > getNthTemplateTypeArgFromVariant(const Type *varType, unsigned i)

static llvm::StringRef indefiniteArticleBasedOnVowel(char a)

static bool isVowel(char a)

C Language Family Type Representation.

ProgramStateRef checkRegionChanges(ProgramStateRef State, const InvalidatedSymbols *, ArrayRef< const MemRegion * >, ArrayRef< const MemRegion * > Regions, const LocationContext *, const CallEvent *Call) const

bool evalCall(const CallEvent &Call, CheckerContext &C) const

Represents a C++ constructor within a class.

bool isMoveConstructor(unsigned &TypeQuals) const

Determine whether this constructor is a move constructor (C++11 [class.copy]p3), which can be used to...

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.

Decl - This represents one declaration (or definition), e.g.

bool isInStdNamespace() const

Represents a function declaration or definition.

const TemplateArgumentList * getTemplateSpecializationArgs() const

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

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

A (possibly-)qualified type.

const Type * getTypePtr() const

Retrieves a pointer to the underlying (unqualified) type.

QualType getCanonicalType() const

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

unsigned size() const

Retrieve the number of template arguments in this template argument list.

ArrayRef< TemplateArgument > asArray() const

Produce this as an array ref.

Represents a type template specialization; the template must be a class template, a type alias templa...

ArrayRef< TemplateArgument > template_arguments() const

The base class of the type hierarchy.

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

const T * getAs() const

Member-template getAs<specific type>'.

RecordDecl * getAsRecordDecl() const

Retrieves the RecordDecl this type refers to.

SVal getCXXThisVal() const

Returns the value of the implicit 'this' object.

Represents a call to a C++ constructor.

A CallDescription is a pattern that can be used to match calls based on the qualified name and the ar...

bool matches(const CallEvent &Call) const

Returns true if the CallEvent is a call to a function that matches the CallDescription.

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

const ProgramStateRef & getState() const

The state in which the call is being evaluated.

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

Used to register checkers.

MemRegion - The root abstract class for all memory regions.

std::string getDescriptiveName(bool UseQuotes=true) const

Get descriptive name for memory region.

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

QualType getType(const ASTContext &) const

Try to get a reasonable type for the given value.

const MemRegion * getAsRegion() const

bool isCopyAssignmentCall(const CallEvent &Call)

static const CXXConstructorDecl * getConstructorDeclarationForCall(const CallEvent &Call)

static bool isStdType(const Type *Type, llvm::StringRef TypeName)

bool isMoveAssignmentCall(const CallEvent &Call)

bool isCopyConstructorCall(const CallEvent &Call)

bool isStdVariant(const Type *Type)

bool isMoveConstructorCall(const CallEvent &Call)

llvm::DenseSet< SymbolRef > InvalidatedSymbols

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

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