Home
last modified time | relevance | path

Searched refs:DisjunctionValue (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h130 class DisjunctionValue : public BoolValue {
132 explicit DisjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in DisjunctionValue() function
H A DDataflowAnalysisContext.h340 llvm::DenseMap<std::pair<BoolValue *, BoolValue *>, DisjunctionValue *>
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp103 &takeOwnership(std::make_unique<DisjunctionValue>(LHS, RHS)); in getOrCreateDisjunction()
255 auto &Disjunct = *cast<DisjunctionValue>(&Val); in substituteBoolValue()
H A DWatchedLiteralsSolver.cpp214 auto *D = cast<DisjunctionValue>(Val); in buildBooleanFormula()
299 } else if (auto *D = dyn_cast<DisjunctionValue>(Val)) { in buildBooleanFormula()
H A DDebugSupport.cpp88 auto &D = cast<DisjunctionValue>(B); in debugString()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTestingSupport.h242 std::make_unique<DisjunctionValue>(*LeftSubVal, *RightSubVal)); in disj()
H A DTransferTest.cpp2687 cast<DisjunctionValue>(&BazVal->getRightSubValue()); in TEST()
2732 const auto *BazVal = dyn_cast_or_null<DisjunctionValue>( in TEST()