Go to the source code of this file.
|
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...
|
|
void | clang::ento::printDynamicTypeInfoJson (raw_ostream &Out, ProgramStateRef State, const char *NL="\, unsigned int Space=0, bool IsDot=false) |
|