Home
last modified time | relevance | path

Searched refs:getConcreteOffsetRegion (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp57 assert(getConcreteOffsetRegion() == Base && "Failed to store base region"); in BindingKey()
78 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion() function in __anon38c42dcb0111::BindingKey
85 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()
758 const MemRegion *Base = K.getConcreteOffsetRegion(); in getSymbolicOffsetFields()
806 Top = cast<SubRegion>(TopKey.getConcreteOffsetRegion()); in collectSubRegionBindings()
851 const MemRegion *Base = NextKey.getConcreteOffsetRegion(); in collectSubRegionBindings()
895 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()
916 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()