/// It might return null.
const SymbolicRegion *getSymbolicBase() const;
- bool hasGlobalsOrParametersStorage() const;
-
bool hasStackStorage() const;
bool hasStackNonParametersStorage() const;
return isa<StackArgumentsSpaceRegion>(getMemorySpace());
}
-bool MemRegion::hasGlobalsOrParametersStorage() const {
- return isa<StackArgumentsSpaceRegion, GlobalsSpaceRegion>(getMemorySpace());
-}
-
// Strips away all elements and fields.
// Returns the base region of them.
const MemRegion *MemRegion::getBaseRegion() const {