Home
last modified time | relevance | path

Searched refs:simplifyConstraints (Results 1 – 4 of 4) sorted by relevance

/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DSimplifyConstraints.h43 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints,
/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DSimplifyConstraintsTest.cpp35 simplifyConstraints(Constraints, A, &Info); in simplify()
/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp75 void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints, in simplifyConstraints() function
H A DDataflowAnalysisContext.cpp263 simplifyConstraints(Constraints, arena(), &Info); in dumpFlowCondition()