ΒΆclang::ento::ProgramStateRef
setDynamicTypeAndCastInfo(
    clang::ento::ProgramStateRef State,
    const clang::ento::MemRegion* MR,
    clang::QualType CastFromTy,
    clang::QualType CastToTy,
    bool IsCastSucceeds)

Description

Set dynamic type and cast information of the region; return the new state.

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

Parameters

clang::ento::ProgramStateRef State
const clang::ento::MemRegion* MR
clang::QualType CastFromTy
clang::QualType CastToTy
bool IsCastSucceeds