Searched refs:makeAtomRef (Results 1 – 6 of 6) sorted by relevance
154 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()
117 auto &MergedVal = A.makeAtomRef(A.makeAtom()); in mergeDistinctValues()119 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in mergeDistinctValues()121 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in mergeDistinctValues()
71 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);