Searched refs:evalAssume (Results 1 - 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 222 ProgramStateRef evalAssume(ProgramStateRef State, function in class:clang::ento::CheckerDocumentation
|
| H A D | CheckObjCDealloc.cpp | 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
411 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, function in class:ObjCDeallocChecker
|
| H A D | MallocChecker.cpp | 209 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2343 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, function in class:MallocChecker
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 453 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
|
Completed in 234 milliseconds