clang  6.0.0svn
Functions
Store.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/DeclObjC.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for Store.cpp:

Go to the source code of this file.

Functions

static bool regionMatchesCXXRecordType (SVal V, QualType Ty)
 
static const CXXRecordDeclgetCXXRecordType (const MemRegion *MR)
 Returns the static type of the given region, if it represents a C++ class object. More...
 

Function Documentation

◆ getCXXRecordType()

static const CXXRecordDecl* getCXXRecordType ( const MemRegion MR)
static

Returns the static type of the given region, if it represents a C++ class object.

This handles both fully-typed regions, where the dynamic type is known, and symbolic regions, where the dynamic type is merely bounded (and even then, only ostensibly!), but does not take advantage of any dynamic type info.

Definition at line 288 of file Store.cpp.

Referenced by clang::ento::StoreManager::attemptDownCast().

◆ regionMatchesCXXRecordType()

static bool regionMatchesCXXRecordType ( SVal  V,
QualType  Ty 
)
static