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

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp207 ProgramStateRef evalAssume(ProgramStateRef State, function in class:clang::ento::CheckerDocumentation
H A DMallocChecker.cpp192 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
1825 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, function in class:MallocChecker
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h428 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);

Completed in 91 milliseconds