147   StratifiedSets<Value *> Sets;  member
152       : Sets(std::move(S)), ReturnedValues(std::move(RV)) {}  in FunctionInfo()
364   static Optional<Level> getIndexRelation(const StratifiedSets<Value *> &Sets,  in getIndexRelation()  argument
370     const auto *Current = &Sets.getLink(Index1);  in getIndexRelation()
374       Current = &Sets.getLink(Current->Below);  in getIndexRelation()
377     Current = &Sets.getLink(Index1);  in getIndexRelation()
381       Current = &Sets.getLink(Current->Above);  in getIndexRelation()
413       auto &Sets = Info.Sets;  in tryInterproceduralAnalysis()  local
418         auto MaybeInfo = Sets.find(&Param);  in tryInterproceduralAnalysis()
433           auto MaybeInfo = Sets.find(RetVals[X]);  in tryInterproceduralAnalysis()
438           auto RetAttrs = Sets.getLink(RetInfo.Index).Attrs;  in tryInterproceduralAnalysis()
439           auto ParamAttrs = Sets.getLink(ParamInfo.Index).Attrs;  in tryInterproceduralAnalysis()
441               getIndexRelation(Sets, ParamInfo.Index, RetInfo.Index);  in tryInterproceduralAnalysis()
464         auto &MainAttrs = Sets.getLink(MainInfo.Index).Attrs;  in tryInterproceduralAnalysis()
468           auto &SubAttrs = Sets.getLink(SubInfo.Index).Attrs;  in tryInterproceduralAnalysis()
470               getIndexRelation(Sets, MainInfo.Index, SubInfo.Index);  in tryInterproceduralAnalysis()
1112   auto &Sets = MaybeInfo->Sets;  in query()  local
1113   auto MaybeA = Sets.find(ValA);  in query()
1117   auto MaybeB = Sets.find(ValB);  in query()
1123   auto AttrsA = Sets.getLink(SetA.Index).Attrs;  in query()
1124   auto AttrsB = Sets.getLink(SetB.Index).Attrs;  in query()