Searched refs:evalAssume (Results 1 – 5 of 5) 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 | 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
411 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume() function in ObjCDeallocChecker
|
| D | MallocChecker.cpp | 209 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2343 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker
|
| D | RetainCountChecker.cpp | 2633 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
3663 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 453 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()
|