Home
last modified time | relevance | path

Searched refs:AtomRef (Results 1 – 6 of 6) sorted by relevance

/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DFormula.cpp41 case Formula::AtomRef: in sigil()
59 if (Names && kind() == AtomRef) in print()
68 case AtomRef: in print()
H A DSimplifyConstraints.cpp22 case Formula::AtomRef: in substitute()
89 case Formula::AtomRef: in simplifyConstraints()
93 if (Constraint->operands()[0]->kind() == Formula::AtomRef) in simplifyConstraints()
98 if (operands[0]->kind() == Formula::AtomRef && in simplifyConstraints()
99 operands[1]->kind() == Formula::AtomRef) { in simplifyConstraints()
H A DArena.cpp36 return &Formula::create(Alloc, Formula::AtomRef, {}, in makeAtomRef()
115 It->second = (F.kind() == Formula::AtomRef) in makeBoolValue()
H A DCNFFormula.cpp143 if (F->kind() == Formula::AtomRef) in buildCNF()
178 case Formula::AtomRef: in buildCNF()
/src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DFormula.h54 AtomRef, enumerator
69 assert(kind() == AtomRef); in getAtom()
105 case AtomRef: in numOperands()
H A DValue.h119 assert(F.kind() == Formula::AtomRef); in TopBoolValue()
136 assert(F.kind() == Formula::AtomRef); in AtomicBoolValue()
151 assert(F.kind() != Formula::AtomRef && "For now, use AtomicBoolValue"); in FormulaBoolValue()