Lines Matching refs:arena

82   return arena().create<ScalarStorageLocation>(Type);  in createStorageLocation()
100   return arena().create<RecordStorageLocation>(Type, std::move(FieldLocs),  in createRecordStorageLocation()
131     Res.first->second = &arena().create<PointerValue>(PointeeLoc);  in getOrCreateNullPointerValue()
140     Invariant = &arena().makeAnd(*Invariant, Constraint);  in addInvariant()
148         &arena().makeAnd(*Res.first->second, Constraint);  in addFlowConditionConstraint()
153   Atom ForkToken = arena().makeFlowConditionToken();  in forkFlowCondition()
155   addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token));  in forkFlowCondition()
162   Atom Token = arena().makeFlowConditionToken();  in joinFlowConditions()
166                              arena().makeOr(arena().makeAtomRef(FirstToken),  in joinFlowConditions()
167                                             arena().makeAtomRef(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()
208   Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2)));  in equivalentFormulas()
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()
263   simplifyConstraints(Constraints, arena(), &Info);  in dumpFlowCondition()