Searched defs:markInfeasible (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | CoreEngine.h | 435 void markInfeasible(bool branch) { function in class:clang::ento::BranchNodeBuilder |
Completed in 155 milliseconds