Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp825 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
826 getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions); in collectSubRegionBindings()
827 Top = TopKey.getConcreteOffsetRegion(); in collectSubRegionBindings()
828 TopKey = BindingKey::Make(Top, BindingKey::Default); in collectSubRegionBindings()
848 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
854 if (NextKey.getOffset() > TopKey.getOffset() && in collectSubRegionBindings()
855 NextKey.getOffset() - TopKey.getOffset() < Length) { in collectSubRegionBindings()
860 } else if (NextKey.getOffset() == TopKey.getOffset()) { in collectSubRegionBindings()
904 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()
915 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
[all …]