ΒΆclang::ento::ProgramStateRef
setClassObjectDynamicTypeInfo(
    clang::ento::ProgramStateRef State,
    clang::ento::SymbolRef Sym,
    clang::ento::DynamicTypeInfo NewTy)

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:58

Parameters

clang::ento::ProgramStateRef State
clang::ento::SymbolRef Sym
clang::ento::DynamicTypeInfo NewTy