Searched defs:UpdateAssumption (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | IdempotentOperationChecker.cpp | 442 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A, function in class:IdempotentOperationChecker |
Completed in 43 milliseconds