Searched refs:AssumeFun (Results 1 - 1 of 1) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp94 auto AssumeFun = [&](bool Assumption) { local
97 return assumeDualImpl(State, AssumeFun);
104 auto AssumeFun = [&](bool Assumption) { local
107 return assumeDualImpl(State, AssumeFun);

Completed in 62 milliseconds