Searched refs:AssignedFalse (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SolverTest.cpp | 66 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse))); in TEST()
88 Pair(Y, Solver::Result::Assignment::AssignedFalse))); in TEST()
173 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse), in TEST()
190 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse), in TEST()
245 Pair(X, Solver::Result::Assignment::AssignedFalse), in TEST()
246 Pair(Y, Solver::Result::Assignment::AssignedFalse)))); in TEST()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 420 AssignedFalse = 0, enumerator
492 ? Assignment::AssignedFalse in solve()
504 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()
556 VarAssignments[Atomic.first] == Assignment::AssignedFalse in buildSolution()
557 ? Solver::Result::Assignment::AssignedFalse in buildSolution()
662 ? Assignment::AssignedFalse in decideAssignment()
|
| H A D | DebugSupport.cpp | 36 case Solver::Result::Assignment::AssignedFalse: in debugString()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Solver.h | 44 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator
|