Searched refs:evalAssume (Results 1 – 9 of 9) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | CheckerDocumentation.cpp | 239 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in clang::ento::CheckerDocumentation
|
| D | TrustNonnullChecker.cpp | 65 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in __anon9e210de30111::TrustNonnullChecker
|
| D | MacOSKeychainAPIChecker.cpp | 66 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
505 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State, in evalAssume() function in MacOSKeychainAPIChecker
|
| D | FuchsiaHandleChecker.cpp | 202 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
542 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State, in evalAssume() function in FuchsiaHandleChecker
|
| D | CheckObjCDealloc.cpp | 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
404 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume() function in ObjCDeallocChecker
|
| D | MallocChecker.cpp | 328 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2864 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountChecker.h | 315 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
|
| D | RetainCountChecker.cpp | 1150 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 464 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()
|