Lines Matching refs:insert
68 FieldLocs.insert({Field, nullptr}); in createStorageLocation()
70 FieldLocs.insert({Field, &createStorageLocation( in createStorageLocation()
75 SyntheticFields.insert( in createStorageLocation()
154 FlowConditionDeps[ForkToken].insert(Token); in forkFlowCondition()
163 FlowConditionDeps[Token].insert(FirstToken); in joinFlowConditions()
164 FlowConditionDeps[Token].insert(SecondToken); in joinFlowConditions()
187 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionImplies()
188 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()
199 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionAllows()
200 Constraints.insert(&F); in flowConditionAllows()
208 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
218 Constraints.insert(Invariant); in addTransitiveFlowConditionConstraints()
223 if (!AddedTokens.insert(Token).second) in addTransitiveFlowConditionConstraints()
228 Constraints.insert(&arena().makeAtomRef(Token)); in addTransitiveFlowConditionConstraints()
232 Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token), in addTransitiveFlowConditionConstraints()
257 Constraints.insert(&arena().makeAtomRef(Token)); in dumpFlowCondition()
306 auto Result = FunctionContexts.insert({F, std::move(*ACFG)}); in getAdornedCFG()