const GRState *setExtent(const GRState *state, const MemRegion* R, SVal Extent);
SVal getSizeInElements(const GRState *state, const MemRegion* R);
- //===------------------------------------------------------------------===//
- // Region "views".
- //===------------------------------------------------------------------===//
-
- const GRState *AddRegionView(const GRState *state, const MemRegion* View,
- const MemRegion* Base);
-
- const GRState *RemoveRegionView(const GRState *state, const MemRegion* View,
- const MemRegion* Base);
-
//===------------------------------------------------------------------===//
// Utility methods.
//===------------------------------------------------------------------===//