HomeSort by: relevance | last modified time | path
    Searched refs:evalAssume (Results 1 - 9 of 9) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 239 ProgramStateRef evalAssume(ProgramStateRef State,
TrustNonnullChecker.cpp 65 ProgramStateRef evalAssume(ProgramStateRef State,
MacOSKeychainAPIChecker.cpp 66 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
505 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State,
CheckObjCDealloc.cpp 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
404 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond,
FuchsiaHandleChecker.cpp 202 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
542 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State,
MallocChecker.cpp 328 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2864 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.h 315 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
RetainCountChecker.cpp 1150 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state,
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
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
Checker.h 464 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);

Completed in 49 milliseconds