Searched defs:AssumeFun (Results 1 - 1 of 1) sorted by relevance
/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/ | ||
H A D | ConstraintManager.cpp | 94 auto AssumeFun = [&](bool Assumption) { local 104 auto AssumeFun = [&](bool Assumption) { local |
Completed in 58 milliseconds