ΒΆclang::ento::DefinedOrUnknownSVal
getDynamicExtent(
    clang::ento::ProgramStateRef State,
    const clang::ento::MemRegion* MR,
    clang::ento::SValBuilder& SVB)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h:26

Parameters

clang::ento::ProgramStateRef State
const clang::ento::MemRegion* MR
clang::ento::SValBuilder& SVB

Returns

The stored dynamic extent for the region \p MR.