Searched refs:evalAssume (Results 1 - 9 of 9) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 239 ProgramStateRef evalAssume(ProgramStateRef State, function in class:clang::ento::CheckerDocumentation
|
| H A D | TrustNonnullChecker.cpp | 65 ProgramStateRef evalAssume(ProgramStateRef State, function in class:__anon984::TrustNonnullChecker
|
| H A D | MacOSKeychainAPIChecker.cpp | 66 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
505 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State, function in class:MacOSKeychainAPIChecker
|
| H A D | FuchsiaHandleChecker.cpp | 175 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
408 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State, function in class:FuchsiaHandleChecker
|
| H A D | CheckObjCDealloc.cpp | 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
404 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, function in class:ObjCDeallocChecker
|
| H A D | MallocChecker.cpp | 370 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2883 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, function in class:MallocChecker
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 315 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
|
| H A D | RetainCountChecker.cpp | 1150 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, function in class:RetainCountChecker
1153 // FIXME: We may add to the interface of evalAssume the list of symbols
1157 // probably small and evalAssume is only called at branches and a few
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 464 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
|
Completed in 163 milliseconds