clang  3.9.0
Functions
ExprEngineCXX.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Basic/PrettyStackTrace.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
Include dependency graph for ExprEngineCXX.cpp:

Go to the source code of this file.

Functions

static SVal makeZeroElementRegion (ProgramStateRef State, SVal LValue, QualType &Ty)
 Returns a region representing the first element of a (possibly multi-dimensional) array. More...
 
static bool canHaveDirectConstructor (CFGElement Elem)
 Returns true if the initializer for can be a direct constructor. More...
 

Function Documentation

static bool canHaveDirectConstructor ( CFGElement  Elem)
static

Returns true if the initializer for can be a direct constructor.

Definition at line 161 of file ExprEngineCXX.cpp.

References clang::CFGElement::getAs(), clang::CFGElement::getKind(), and clang::CFGElement::Initializer.

static SVal makeZeroElementRegion ( ProgramStateRef  State,
SVal  LValue,
QualType Ty 
)
static

Returns a region representing the first element of a (possibly multi-dimensional) array.

On return, Ty will be set to the base type of the array.

If the type is not an array type at all, the original value is returned.

Definition at line 92 of file ExprEngineCXX.cpp.

References clang::ASTContext::getAsArrayType(), clang::ento::SValBuilder::getContext(), and clang::ento::SValBuilder::makeZeroArrayIndex().

Referenced by clang::ento::ExprEngine::VisitCXXDestructor().