ΒΆclang::ento::ProgramStateRef setDynamicExtent(
clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* MR,
clang::ento::DefinedOrUnknownSVal Extent,
clang::ento::SValBuilder& SVB)
clang::ento::ProgramStateRef setDynamicExtent(
clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* MR,
clang::ento::DefinedOrUnknownSVal Extent,
clang::ento::SValBuilder& SVB)
Description
Set the dynamic extent \p Extent of the region \p MR.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h:38
Parameters
- clang::ento::ProgramStateRef State
- const clang::ento::MemRegion* MR
- clang::ento::DefinedOrUnknownSVal Extent
- clang::ento::SValBuilder& SVB