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

Description

Removes the dead cast informations from \p State.

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

Parameters

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