ΒΆ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