Searched refs:makeAtomRef (Results 1 – 6 of 6) sorted by relevance
155 addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token)); in forkFlowCondition()166 arena().makeOr(arena().makeAtomRef(FirstToken), in joinFlowConditions()167 arena().makeAtomRef(SecondToken))); in joinFlowConditions()187 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionImplies()199 Constraints.insert(&arena().makeAtomRef(Token)); in flowConditionAllows()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()
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()
145 auto &JoinedVal = A.makeAtomRef(A.makeAtom()); in joinDistinctValues()147 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in joinDistinctValues()149 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in joinDistinctValues()
85 return A.makeBoolValue(A.makeAtomRef(Top->getAtom())); in unpackValue()
72 return cast<AtomicBoolValue>(makeBoolValue(makeAtomRef(makeAtom()))); in makeAtomValue()78 return create<TopBoolValue>(makeAtomRef(makeAtom())); in makeTopValue()108 const Formula &makeAtomRef(Atom A);