StaticAnalyzer/Core/RegionStore.cpp

843     BindingKey NextKey = I.getKey();
844     if (NextKey.getRegion() == TopKey.getRegion()) {
850       if (NextKey.getOffset() > TopKey.getOffset() &&
851           NextKey.getOffset() - TopKey.getOffset() < Length) {
856       } else if (NextKey.getOffset() == TopKey.getOffset()) {
863         if (IncludeAllDefaultBindings || NextKey.isDirect())
867     } else if (NextKey.hasSymbolicOffset()) {
868       const MemRegion *Base = NextKey.getConcreteOffsetRegion();
873         if (IncludeAllDefaultBindings || NextKey.isDirect())
874           if (isCompatibleWithFields(NextKey, FieldsInSymbolicSubregions))
880           if (isCompatibleWithFields(NextKey, FieldsInSymbolicSubregions))