Home
last modified time | relevance | path

Searched refs:getSolution (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DSolver.h68 getSolution() const { in getSolution() function
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DSolverTest.cpp39 EXPECT_FALSE(Result.getSolution().has_value()); in expectUnsatisfiable()
45 EXPECT_THAT(Result.getSolution(), Optional(Solution)); in expectSatisfiable()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDebugSupport.cpp158 auto Solution = Result.getSolution(); in debugString()