Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h42 Conjunction, enumerator
86 Val->getKind() == Kind::Conjunction || in classof()
111 : BoolValue(Kind::Conjunction), LeftSubVal(LeftSubVal), in ConjunctionValue()
115 return Val->getKind() == Kind::Conjunction; in classof()
/llvm-project-15.0.7/clang/lib/Sema/
H A DSemaConcept.cpp784 auto Conjunction = fromConstraintExpr(S, D, E[0]); in fromConstraintExprs() local
785 if (!Conjunction) in fromConstraintExprs()
791 *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction), in fromConstraintExprs()
794 return Conjunction; in fromConstraintExprs()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDebugSupport.cpp80 case Value::Kind::Conjunction: { in debugString()
H A DDataflowAnalysisContext.cpp263 case Value::Kind::Conjunction: { in substituteBoolValue()
H A DWatchedLiteralsSolver.cpp207 case Value::Kind::Conjunction: { in buildBooleanFormula()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDebugSupportTest.cpp44 TEST(BoolValueDebugStringTest, Conjunction) { in TEST() argument
H A DTypeErasedDataflowAnalysisTest.cpp827 TEST_F(FlowConditionTest, Conjunction) { in TEST_F() argument