Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h171 class ImplicationValue : public BoolValue {
173 explicit ImplicationValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ImplicationValue() function
H A DDataflowAnalysisContext.h343 llvm::DenseMap<std::pair<BoolValue *, BoolValue *>, ImplicationValue *>
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp122 &takeOwnership(std::make_unique<ImplicationValue>(LHS, RHS)); in getOrCreateImplication()
273 auto &IV = *cast<ImplicationValue>(&Val); in substituteBoolValue()
H A DWatchedLiteralsSolver.cpp225 auto *I = cast<ImplicationValue>(Val); in buildBooleanFormula()
335 } else if (auto *I = dyn_cast<ImplicationValue>(Val)) { in buildBooleanFormula()
H A DDebugSupport.cpp100 auto &IV = cast<ImplicationValue>(B); in debugString()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTestingSupport.h255 std::make_unique<ImplicationValue>(*LeftSubVal, *RightSubVal)); in impl()