64   auto Res = NullPointerVals.try_emplace(CanonicalPointeeType, nullptr);  in getOrCreateNullPointerValue()  local
65   if (Res.second) {  in getOrCreateNullPointerValue()
67     Res.first->second =  in getOrCreateNullPointerValue()
70   return *Res.first->second;  in getOrCreateNullPointerValue()
75   auto Res = std::make_pair(&LHS, &RHS);  in makeCanonicalBoolValuePair()  local
77     std::swap(Res.first, Res.second);  in makeCanonicalBoolValuePair()
78   return Res;  in makeCanonicalBoolValuePair()
86   auto Res = ConjunctionVals.try_emplace(makeCanonicalBoolValuePair(LHS, RHS),  in getOrCreateConjunction()  local
88   if (Res.second)  in getOrCreateConjunction()
89     Res.first->second =  in getOrCreateConjunction()
91   return *Res.first->second;  in getOrCreateConjunction()
99   auto Res = DisjunctionVals.try_emplace(makeCanonicalBoolValuePair(LHS, RHS),  in getOrCreateDisjunction()  local
101   if (Res.second)  in getOrCreateDisjunction()
102     Res.first->second =  in getOrCreateDisjunction()
104   return *Res.first->second;  in getOrCreateDisjunction()
108   auto Res = NegationVals.try_emplace(&Val, nullptr);  in getOrCreateNegation()  local
109   if (Res.second)  in getOrCreateNegation()
110     Res.first->second = &takeOwnership(std::make_unique<NegationValue>(Val));  in getOrCreateNegation()
111   return *Res.first->second;  in getOrCreateNegation()
119   auto Res = ImplicationVals.try_emplace(std::make_pair(&LHS, &RHS), nullptr);  in getOrCreateImplication()  local
120   if (Res.second)  in getOrCreateImplication()
121     Res.first->second =  in getOrCreateImplication()
123   return *Res.first->second;  in getOrCreateImplication()
131   auto Res = BiconditionalVals.try_emplace(makeCanonicalBoolValuePair(LHS, RHS),  in getOrCreateIff()  local
133   if (Res.second)  in getOrCreateIff()
134     Res.first->second =  in getOrCreateIff()
136   return *Res.first->second;  in getOrCreateIff()
145   auto Res = FlowConditionConstraints.try_emplace(&Token, &Constraint);  in addFlowConditionConstraint()  local
146   if (!Res.second) {  in addFlowConditionConstraint()
147     Res.first->second = &getOrCreateConjunction(*Res.first->second, Constraint);  in addFlowConditionConstraint()
209   auto Res = VisitedTokens.insert(&Token);  in addTransitiveFlowConditionConstraints()  local
210   if (!Res.second)  in addTransitiveFlowConditionConstraints()