Searched defs:evalAssume (Results 1 – 8 of 8) sorted by relevance
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | TrustNonnullChecker.cpp | 65 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in __anond258a7470111::TrustNonnullChecker
|
| D | CheckerDocumentation.cpp | 239 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in clang::ento::CheckerDocumentation
|
| D | MacOSKeychainAPIChecker.cpp | 505 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State, in evalAssume() function in MacOSKeychainAPIChecker
|
| D | FuchsiaHandleChecker.cpp | 539 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State, in evalAssume() function in FuchsiaHandleChecker
|
| D | CheckObjCDealloc.cpp | 405 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume() function in ObjCDeallocChecker
|
| D | NullabilityChecker.cpp | 907 ProgramStateRef NullabilityChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume() function in NullabilityChecker
|
| D | MallocChecker.cpp | 3071 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountChecker.cpp | 1152 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker
|