clang  6.0.0svn
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

◆ canHaveDirectConstructor()

static bool canHaveDirectConstructor ( CFGElement  Elem)
static

◆ makeZeroElementRegion()

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