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

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

clang: lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp Source File

;

UninitializedObjectChecker

:

<check::EndFunction, check::DeadSymbols> {

BT_uninitField{

,

};

RegularField final :

{

(llvm::raw_ostream &Out)

{

Out <<

;

(llvm::raw_ostream &Out)

{}

(llvm::raw_ostream &Out)

{

(llvm::raw_ostream &Out)

{ Out <<

; }

assert(!

.isNull());

(llvm::raw_ostream &Out)

{

llvm_unreachable(

(llvm::raw_ostream &Out)

{}

(llvm::raw_ostream &Out)

{

Out << BaseClassT->getAsCXXRecordDecl()->getName() <<

;

()

{

; }

UninitializedObjectChecker::checkEndFunction(

*CtorDecl = dyn_cast_or_null<CXXConstructorDecl>(

Context.getLocationContext()->getDecl());

(!CtorDecl->isUserProvided())

(CtorDecl->getParent()->isUnion())

std::pair<ProgramStateRef, const UninitFieldMap &> UninitInfo =

(UninitFields.empty()) {

Context.addTransition(UpdatedState);

*CallSite = Context.getStackFrame()->getCallSite();

(Opts.ShouldConvertNotesToWarnings) {

(

&Pair : UninitFields) {

= std::make_unique<PathSensitiveBugReport>(

BT_uninitField, Pair.second,

, LocUsedForUniqueing,

->getLocationContext()->getDecl());

Context.emitReport(std::move(

));

llvm::raw_svector_ostream WarningOS(WarningBuf);

WarningOS << UninitFields.size() <<

<< (UninitFields.size() == 1 ?

:

)

<<

;

= std::make_unique<PathSensitiveBugReport>(

BT_uninitField, WarningOS.str(),

, LocUsedForUniqueing,

->getLocationContext()->getDecl());

(

&Pair : UninitFields) {

->addNote(Pair.second,

Context.emitReport(std::move(

));

UninitializedObjectChecker::checkDeadSymbols(

&SR,

(

*R : State->get<AnalyzedRegions>()) {

State = State->remove<AnalyzedRegions>(R);

: State(State), ObjectR(R), Opts(Opts) {

UninitFields.clear();

FindUninitializedFields::addFieldToUninits(

Chain,

);

(State->getStateManager().getContext().getSourceManager().isInSystemHeader(

(State->contains<AnalyzedRegions>(FR))

(State->contains<AnalyzedRegions>(PointeeR)) {

State = State->add<AnalyzedRegions>(PointeeR);

State = State->add<AnalyzedRegions>(FR);

UninitFieldMap::mapped_type NoteMsgBuf;

llvm::raw_svector_ostream

(NoteMsgBuf);

UninitFields.insert({FR, std::move(NoteMsgBuf)}).second;

);

IsAnyFieldInitialized =

;

IsAnyFieldInitialized =

;

ContainsUninitField =

;

FieldVal =

*FR = FieldVal.getRegionAs<

>();

(isNonUnionUninit(FR, LocalChain.

(RegularField(FR))))

ContainsUninitField =

;

(isUnionUninit(FR)) {

(addFieldToUninits(LocalChain.

(RegularField(FR))))

ContainsUninitField =

;

IsAnyFieldInitialized =

;

IsAnyFieldInitialized =

;

= State->getSVal(FieldVal);

(isDereferencableUninit(FR, LocalChain))

ContainsUninitField =

;

(isPrimitiveUninit(

)) {

(addFieldToUninits(LocalChain.

(RegularField(FR))))

ContainsUninitField =

;

llvm_unreachable(

);

*CXXRD = dyn_cast<CXXRecordDecl>(RD);

ContainsUninitField;

*BaseRegion = State->getLValue(BaseSpec, R)

.getRegionAs<TypedValueRegion>();

(isNonUnionUninit(BaseRegion, LocalChain.

(

BaseClass(BaseSpec.getType()))))

ContainsUninitField =

;

(isNonUnionUninit(BaseRegion,

LocalChain.

(BaseClass(BaseSpec.getType()))))

ContainsUninitField =

;

ContainsUninitField;

);

FindUninitializedFields::isPrimitiveUninit(

) {

IsAnyFieldInitialized =

;

(

.isSameRegion(FR))

(llvm::raw_ostream &Out,

.printPrefix(Out);

L.getHead().printNode(Out);

L.getHead().printSeparator(Out);

Context.getSValBuilder().getCXXThis(CtorDecl, Context.getStackFrame());

ObjectV = Context.getState()->getSVal(ThisLoc);

*OtherCtor = dyn_cast<CXXConstructorDecl>(LC->

());

llvm::Regex R(Pattern);

(R.match(FD->getType().getAsString()))

(R.match(FD->getName()))

(isa<CXXConstructorDecl>(M))

assert(

&&

);

&AC = State->getStateManager().getContext();

(

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

))));

(Accesses.empty())

*FirstAccess = Accesses[0].getNodeAs<

>(

);

*FirstGuard = Guards[0].getNodeAs<

>(

);

(FirstAccess->getBeginLoc() < FirstGuard->getBeginLoc())

*CXXParent = dyn_cast<CXXRecordDecl>(Field->getParent());

(CXXParent && CXXParent->isLambda()) {

assert(CXXParent->captures_begin());

It = CXXParent->captures_begin() + Field->getFieldIndex();

(It->capturesVariable())

llvm::Twine(

+

It->getCapturedVar()->getName())

(It->capturesThis())

;

llvm_unreachable(

);

std::string(Field->getName());

ento::registerUninitializedObjectChecker(

&Mgr) {

ChOpts.

= AnOpts.getCheckerBooleanOption(Chk,

);

Chk,

);

Chk,

);

std::string(AnOpts.getCheckerStringOption(Chk,

));

AnOpts.getCheckerBooleanOption(Chk,

);

std::string ErrorMsg;

+ ErrorMsg +

);

ento::shouldRegisterUninitializedObjectChecker(

&mgr) {

#define REGISTER_SET_WITH_PROGRAMSTATE(Name, Elem)

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

static const Stmt * getMethodBody(const CXXMethodDecl *M)

static const TypedValueRegion * getConstructedRegion(const CXXConstructorDecl *CtorDecl, CheckerContext &Context)

Returns the region that was constructed by CtorDecl, or nullptr if that isn't possible.

static bool hasUnguardedAccess(const FieldDecl *FD, ProgramStateRef State)

Checks syntactically whether it is possible to access FD from the record that contains it without a p...

static bool willObjectBeAnalyzedLater(const CXXConstructorDecl *Ctor, CheckerContext &Context)

Checks whether the object constructed by Ctor will be analyzed later (e.g.

static bool shouldIgnoreRecord(const RecordDecl *RD, StringRef Pattern)

Checks whether RD contains a field with a name or type name that matches Pattern.

static void printTail(llvm::raw_ostream &Out, const FieldChainInfo::FieldChain L)

Prints every element except the last to Out.

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

SourceManager & getSourceManager()

Stores options for the analyzer from the command line.

Represents a base class of a C++ class.

Represents a C++ constructor within a class.

Represents a static or instance method of a struct/union/class.

SourceLocation getLocation() const

AccessSpecifier getAccess() const

Represents a member of a struct/union/class.

const RecordDecl * getParent() const

Returns the parent of this field declaration, which is the struct in which this field is defined.

Stmt * getBody(const FunctionDecl *&Definition) const

Retrieve the body (definition) of the function.

FunctionDecl * getDefinition()

Get the definition for this declaration.

bool isDefined(const FunctionDecl *&Definition, bool CheckForPendingFriendDefinition=false) const

Returns true if the function has a definition that does not need to be instantiated.

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

const Decl * getDecl() const

const LocationContext * getParent() const

It might return null.

MemberExpr - [C99 6.5.2.3] Structure and Union Members.

A (possibly-)qualified type.

Represents a struct/union/class.

field_range fields() const

RecordDecl * getDefinition() const

Returns the RecordDecl that actually defines this struct/union/class.

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

Stmt - This represents one statement.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool isStructureOrClassType() const

bool isRecordType() const

RecordDecl * getAsRecordDecl() const

Retrieves the RecordDecl this type refers to.

const AnalyzerOptions & getAnalyzerOptions() const

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

Used to register checkers.

void reportInvalidCheckerOptionValue(const CheckerBase *C, StringRef OptionName, StringRef ExpectedValueDesc) const

Emits an error through a DiagnosticsEngine about an invalid user supplied checker option value.

Represents a field chain.

bool contains(const FieldRegion *FR) const

llvm::ImmutableList< const FieldNode & > FieldChain

const FieldNode & getHead() const

const FieldRegion * getUninitRegion() const

FieldChainInfo replaceHead(const FieldNodeT &FN)

Constructs a new FieldChainInfo object with FN as the new head of the list.

FieldChainInfo add(const FieldNodeT &FN)

Constructs a new FieldChainInfo object with FN appended.

void printNoteMsg(llvm::raw_ostream &Out) const

A lightweight polymorphic wrapper around FieldRegion *.

virtual bool isBase() const

virtual void printSeparator(llvm::raw_ostream &Out) const =0

Print the separator.

virtual void printPrefix(llvm::raw_ostream &Out) const =0

Print any prefixes before the fieldchain. Could contain casts, etc.

virtual void printNoteMsg(llvm::raw_ostream &Out) const =0

If this is the last element of the fieldchain, this method will print the note message associated wit...

const FieldDecl * getDecl() const

virtual void printNode(llvm::raw_ostream &Out) const =0

Print the node. Should contain the name of the field stored in FR.

LLVM_ATTRIBUTE_RETURNS_NONNULL const FieldDecl * getDecl() const override

Searches for and stores uninitialized fields in a non-union object.

FindUninitializedFields(ProgramStateRef State, const TypedValueRegion *const R, const UninitObjCheckerOptions &Opts)

Constructs the FindUninitializedField object, searches for and stores uninitialized fields in R.

bool isAnyFieldInitialized()

Returns whether the analyzed region contains at least one initialized field.

MemRegion - The root abstract class for all memory regions.

const RegionTy * getAs() const

static PathDiagnosticLocation createBegin(const Decl *D, const SourceManager &SM)

Create a location for the beginning of the declaration.

static PathDiagnosticLocation create(const Decl *D, const SourceManager &SM)

Create a location corresponding to the given declaration.

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

const MemRegion * getAsRegion() const

bool isSubRegionOf(const MemRegion *R) const override

Check if the region is a subregion of the given region.

A class responsible for cleaning up unused symbols.

bool isLiveRegion(const MemRegion *region)

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

virtual QualType getValueType() const =0

const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > hasDescendant

Matches AST nodes that have descendant AST nodes that match the provided matcher.

const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > callExpr

Matches call expressions.

SmallVector< BoundNodes, 1 > match(MatcherT Matcher, const NodeT &Node, ASTContext &Context)

Returns the results of matching Matcher on Node.

const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunc > hasAnyName

Matches NamedDecl nodes that have any of the specified names.

const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > functionDecl

Matches function declarations.

const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmt > switchStmt

Matches switch statements.

const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExpr > memberExpr

Matches member expressions.

internal::PolymorphicMatcher< internal::HasDeclarationMatcher, void(internal::HasDeclarationSupportedTypes), internal::Matcher< Decl > > hasDeclaration(const internal::Matcher< Decl > &InnerMatcher)

Matches a node if the declaration associated with that node matches the given matcher.

const internal::VariadicAllOfMatcher< Stmt > stmt

Matches statements.

const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > conditionalOperator

Matches conditional operator expressions.

const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> anyOf

Matches if any of the given matchers matches.

const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmt > ifStmt

Matches if statements.

std::string getVariableName(const FieldDecl *Field)

Returns with Field's name.

bool isPrimitiveType(const QualType &T)

Returns true if T is a primitive type.

@ OS

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

bool isDereferencableType(const QualType &T)

std::map< const FieldRegion *, llvm::SmallString< 50 > > UninitFieldMap

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

const FunctionProtoType * T

bool ShouldConvertNotesToWarnings

std::string IgnoredRecordsWithFieldPattern

bool CheckPointeeInitialization

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