Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp851 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
852 getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions); in collectSubRegionBindings()
853 Top = TopKey.getConcreteOffsetRegion(); in collectSubRegionBindings()
854 TopKey = BindingKey::Make(Top, BindingKey::Default); in collectSubRegionBindings()
874 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
880 if (NextKey.getOffset() > TopKey.getOffset() && in collectSubRegionBindings()
881 NextKey.getOffset() - TopKey.getOffset() < Length) { in collectSubRegionBindings()
886 } else if (NextKey.getOffset() == TopKey.getOffset()) { in collectSubRegionBindings()
930 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()
941 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
[all …]