ΒΆclang::ento::ProgramStateRef
removeDeadClassObjectTypes(
    clang::ento::ProgramStateRef State,
    clang::ento::SymbolReaper& SR)

Description

Removes the dead Class object type informations from \p State.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h:81

Parameters

clang::ento::ProgramStateRef State
clang::ento::SymbolReaper& SR