ΒΆclang::ento::ProgramStateRef removeDeadCasts(
clang::ento::ProgramStateRef State,
clang::ento::SymbolReaper& SR)
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