Searched defs:evalAssume (Results 1 - 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp207 ProgramStateRef evalAssume(ProgramStateRef State, function in class:clang::ento::CheckerDocumentation
H A DMallocChecker.cpp187 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
1998 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, function in class:MallocChecker
H A DRetainCountChecker.cpp2572 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
3513 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, function in class:RetainCountChecker
3517 // FIXME: We may add to the interface of evalAssume the list of symbols
3521 // probably small and evalAssume is only called at branches and a few

Completed in 199 milliseconds