Searched refs:makeAtomRef (Results 1 – 5 of 5) sorted by relevance
153 addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token)); in forkFlowCondition()165 arena().makeOr(arena().makeAtomRef(FirstToken), in joinFlowConditions()166 arena().makeAtomRef(SecondToken))); in joinFlowConditions()186 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionImplies()198 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionAllows()227 Constraints.insert(&arena().makeAtomRef(Token)); in addTransitiveFlowConditionConstraints()231 Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token), in addTransitiveFlowConditionConstraints()256 Constraints.insert(&arena().makeAtomRef(Token)); in dumpFlowCondition()
34 const Formula &Arena::makeAtomRef(Atom A) { in makeAtomRef() function in clang::dataflow::Arena167 return &A.makeAtomRef(static_cast<Atom>(At)); in parse()
126 Substitutions.insert({TheAtom, &arena.makeAtomRef(Leader)}); in simplifyConstraints()
143 auto &JoinedVal = A.makeAtomRef(A.makeAtom()); in joinDistinctValues()145 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in joinDistinctValues()147 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in joinDistinctValues()
90 return A.makeBoolValue(A.makeAtomRef(Top->getAtom())); in unpackValue()