Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp862 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
863 getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions); in collectSubRegionBindings()
864 Top = TopKey.getConcreteOffsetRegion(); in collectSubRegionBindings()
865 TopKey = BindingKey::Make(Top, BindingKey::Default); in collectSubRegionBindings()
885 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
891 if (NextKey.getOffset() > TopKey.getOffset() && in collectSubRegionBindings()
892 NextKey.getOffset() - TopKey.getOffset() < Length) { in collectSubRegionBindings()
897 } else if (NextKey.getOffset() == TopKey.getOffset()) { in collectSubRegionBindings()
941 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()
952 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
[all …]