UninitializedValues.cpp File Reference

#include "clang/Analysis/Analyses/UninitializedValues.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/Expr.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtObjC.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/DomainSpecific/ObjCNoReturn.h"
#include "clang/Analysis/FlowSensitive/DataflowWorklist.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/PackedVector.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Casting.h"
#include <algorithm>
#include <cassert>
#include <optional>

Go to the source code of this file.

Macros
#define	DEBUG_LOGGING   0

Enumerations
enum	Value { Unknown = 0x0 , Initialized = 0x1 , Uninitialized = 0x2 , MayUninitialized = 0x3 }

Functions
static bool	recordIsNotEmpty (const RecordDecl *RD)
static bool	isTrackedVar (const VarDecl *vd, const DeclContext *dc)
static bool	isUninitialized (const Value v)
static bool	isAlwaysUninit (const Value v)
static const Expr *	stripCasts (ASTContext &C, const Expr *Ex)
static FindVarResult	findVar (const Expr *E, const DeclContext *DC)
	If E is an expression comprising a reference to a single variable, find that variable.
static const DeclRefExpr *	getSelfInitExpr (VarDecl *VD)
static bool	isPointerToConst (const QualType &QT)
static bool	hasTrivialBody (CallExpr *CE)
static bool	runOnBlock (const CFGBlock *block, const CFG &cfg, AnalysisDeclContext &ac, CFGBlockValues &vals, const ClassifyRefs &classification, llvm::BitVector &wasAnalyzed, UninitVariablesHandler &handler)

Macro Definition Documentation

DEBUG_LOGGING

#define DEBUG_LOGGING   0

Definition at line 41 of file UninitializedValues.cpp.

Enumeration Type Documentation

Value

enum Value

Enumerator
Unknown
Initialized
Uninitialized
MayUninitialized

Examples

/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 120 of file UninitializedValues.cpp.

Function Documentation

findVar()

static FindVarResult findVar ( const Expr *  E, const DeclContext *  DC  )

static

If E is an expression comprising a reference to a single variable, find that variable.

Definition at line 266 of file UninitializedValues.cpp.

References E, clang::DeclContext::getParentASTContext(), isTrackedVar(), and stripCasts().

getSelfInitExpr()

static const DeclRefExpr * getSelfInitExpr ( VarDecl *  VD )

static

Definition at line 328 of file UninitializedValues.cpp.

References clang::Decl::getASTContext(), clang::DeclRefExpr::getDecl(), clang::VarDecl::getInit(), clang::ValueDecl::getType(), clang::Init, clang::Type::isRecordType(), and stripCasts().

hasTrivialBody()

static bool hasTrivialBody ( CallExpr *  CE )

static

Definition at line 423 of file UninitializedValues.cpp.

References clang::CallExpr::getDirectCallee().

isAlwaysUninit()

static bool isAlwaysUninit ( const Value  v )

static

Definition at line 129 of file UninitializedValues.cpp.

References Uninitialized, and v.

isPointerToConst()

static bool isPointerToConst ( const QualType &  QT )

static

Definition at line 419 of file UninitializedValues.cpp.

References clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), and clang::QualType::isConstQualified().

Referenced by findPtrToConstParams().

isTrackedVar()

static bool isTrackedVar ( const VarDecl *  vd, const DeclContext *  dc  )

static

Definition at line 60 of file UninitializedValues.cpp.

References clang::Type::getAsRecordDecl(), clang::Decl::getDeclContext(), clang::ValueDecl::getType(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::isExceptionVariable(), clang::Decl::isImplicit(), clang::VarDecl::isInitCapture(), clang::VarDecl::isLocalVarDecl(), clang::Type::isRVVSizelessBuiltinType(), clang::Type::isScalarType(), clang::Type::isVectorType(), and recordIsNotEmpty().

Referenced by findVar().

isUninitialized()

static bool isUninitialized ( const Value  v )

static

Definition at line 125 of file UninitializedValues.cpp.

References Uninitialized, and v.

recordIsNotEmpty()

static bool recordIsNotEmpty ( const RecordDecl *  RD )

static

Definition at line 43 of file UninitializedValues.cpp.

References clang::RecordDecl::fields(), and recordIsNotEmpty().

Referenced by isTrackedVar(), and recordIsNotEmpty().

runOnBlock()

static bool runOnBlock ( const CFGBlock *  block, const CFG &  cfg, AnalysisDeclContext &  ac, CFGBlockValues &  vals, const ClassifyRefs &  classification, llvm::BitVector &  wasAnalyzed, UninitVariablesHandler &  handler  )

static

Definition at line 836 of file UninitializedValues.cpp.

References E, clang::CFGBlock::getBlockID(), clang::CFGTerminator::getStmt(), clang::CFGBlock::getTerminator(), clang::GCCAsmStmt::isAsmGoto(), clang::CFGBlock::pred_begin(), and clang::CFGBlock::pred_end().

Referenced by clang::runUninitializedVariablesAnalysis().

stripCasts()

static const Expr * stripCasts ( ASTContext &  C, const Expr *  Ex  )

static

Definition at line 250 of file UninitializedValues.cpp.

References clang::C, and clang::Expr::IgnoreParenNoopCasts().

Referenced by findVar(), and getSelfInitExpr().