clang
3.9.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/ImmutableMap.h"
Go to the source code of this file.
Classes | |
struct | clang::ento::DynamicTypeMap |
The GDM component containing the dynamic type info. More... | |
struct | clang::ento::ProgramStateTrait< DynamicTypeMap > |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
typedef llvm::ImmutableMap < const MemRegion *, DynamicTypeInfo > | clang::ento::DynamicTypeMapImpl |
Functions | |
DynamicTypeInfo | clang::ento::getDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg) |
Get dynamic type information for a region. More... | |
ProgramStateRef | clang::ento::setDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg, DynamicTypeInfo NewTy) |
Set dynamic type information of the region; return the new state. More... | |
ProgramStateRef | clang::ento::setDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg, QualType NewTy, bool CanBeSubClassed=true) |
Set dynamic type information of the region; return the new state. More... | |