Searched defs:evalAssume (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| D | CheckerDocumentation.cpp | 222 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in clang::ento::CheckerDocumentation |
| D | CheckObjCDealloc.cpp | 411 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume() function in ObjCDeallocChecker |
| D | MallocChecker.cpp | 2343 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker |
| D | RetainCountChecker.cpp | 3663 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker |