clang
7.0.0
|
#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/Basic/LLVM.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/None.h"
#include "llvm/ADT/Optional.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>
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 | 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. More... | |
static const DeclRefExpr * | getSelfInitExpr (VarDecl *VD) |
static bool | isPointerToConst (const QualType &QT) |
static bool | runOnBlock (const CFGBlock *block, const CFG &cfg, AnalysisDeclContext &ac, CFGBlockValues &vals, const ClassifyRefs &classification, llvm::BitVector &wasAnalyzed, UninitVariablesHandler &handler) |
#define DEBUG_LOGGING 0 |
Definition at line 42 of file UninitializedValues.cpp.
enum Value |
Enumerator | |
---|---|
Unknown | |
Initialized | |
Uninitialized | |
MayUninitialized |
Definition at line 102 of file UninitializedValues.cpp.
|
static |
If E is an expression comprising a reference to a single variable, find that variable.
Definition at line 313 of file UninitializedValues.cpp.
|
static |
Definition at line 373 of file UninitializedValues.cpp.
References clang::Decl::getASTContext(), clang::VarDecl::getInit(), clang::ValueDecl::getType(), clang::Type::isRecordType(), and stripCasts().
Definition at line 111 of file UninitializedValues.cpp.
References clang::CFGBlock::getBlockID(), getValue(), and Uninitialized.
Definition at line 459 of file UninitializedValues.cpp.
References clang::CallExpr::getArg(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isAnyPointerType(), clang::CallExpr::isCallToStdMove(), clang::QualType::isConstQualified(), and clang::Type::isRecordType().
|
static |
Definition at line 44 of file UninitializedValues.cpp.
References clang::Decl::getDeclContext(), clang::ValueDecl::getType(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::isExceptionVariable(), clang::Decl::isImplicit(), clang::VarDecl::isInitCapture(), clang::VarDecl::isLocalVarDecl(), clang::Type::isRecordType(), clang::Type::isScalarType(), and clang::Type::isVectorType().
Definition at line 107 of file UninitializedValues.cpp.
References Uninitialized.
|
static |
Definition at line 820 of file UninitializedValues.cpp.
References clang::CFGBlock::getBlockID().
Referenced by clang::runUninitializedVariablesAnalysis(), and writeShouldKill().
|
static |
Definition at line 297 of file UninitializedValues.cpp.
References clang::Expr::IgnoreParenNoopCasts().
Referenced by clang::ento::loc::MemRegionVal::getRegion(), and getSelfInitExpr().