Searched defs:addClause (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/clang/lib/Analysis/FlowSensitive/ | ||
| H A D | CNFFormula.cpp | 46 void addClause(ArrayRef<Literal> Literals) { in addClause() function |
| /llvm-project/llvm/lib/IR/ | ||
| H A D | Instructions.cpp | 286 void LandingPadInst::addClause(Constant *Val) { addClause() function in LandingPadInst |