Searched defs:evalAssume (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| D | CheckerDocumentation.cpp | 217 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in clang::ento::CheckerDocumentation |
| D | MallocChecker.cpp | 2335 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker |
| D | RetainCountChecker.cpp | 3670 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker |