Searched defs:evalAssume (Results 1 - 8 of 8) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TrustNonnullChecker.cpp | 65 ProgramStateRef evalAssume(ProgramStateRef State, function in class:__anon905::TrustNonnullChecker
|
| H A D | CheckerDocumentation.cpp | 239 ProgramStateRef evalAssume(ProgramStateRef State, function in class:clang::ento::CheckerDocumentation
|
| H A D | CheckObjCDealloc.cpp | 412 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, function in class:ObjCDeallocChecker
|
| H A D | FuchsiaHandleChecker.cpp | 539 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State, function in class:FuchsiaHandleChecker
|
| H A D | MacOSKeychainAPIChecker.cpp | 496 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State, function in class:MacOSKeychainAPIChecker
|
| H A D | NullabilityChecker.cpp | 950 ProgramStateRef NullabilityChecker::evalAssume(ProgramStateRef State, SVal Cond, function in class:NullabilityChecker
|
| H A D | MallocChecker.cpp | 3071 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, function in class:MallocChecker
|
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 1150 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, function in class:RetainCountChecker
|
Completed in 96 milliseconds