clang
3.9.0
|
Go to the source code of this file.
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
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... | |