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

/external/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp815 const SubRegion *Top, BindingKey TopKey,
818 if (TopKey.hasSymbolicOffset()) {
819 getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions);
820 Top = cast<SubRegion>(TopKey.getConcreteOffsetRegion());
821 TopKey = BindingKey::Make(Top, BindingKey::Default);
841 if (NextKey.getRegion() == TopKey.getRegion()) {
847 if (NextKey.getOffset() > TopKey.getOffset() &&
848 NextKey.getOffset() - TopKey.getOffset() < Length) {
853 } else if (NextKey.getOffset() == TopKey.getOffset()) {
896 BindingKey TopKey local
813 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument
[all...]

Completed in 143 milliseconds