ΒΆclang::ento::ProgramStateRef
setClassObjectDynamicTypeInfo(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
clang::QualType NewTy,
bool CanBeSubClassed = true)
clang::ento::ProgramStateRef
setClassObjectDynamicTypeInfo(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
clang::QualType NewTy,
bool CanBeSubClassed = true)
Description
Set constraint on a type contained in a class object; return the new state.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h:63
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::SymbolRef Sym
- clang::QualType NewTy
- bool CanBeSubClassed = true